Changeset 3523 for LTS/Simulation.ma


Ignore:
Timestamp:
Mar 11, 2015, 12:59:28 PM (5 years ago)
Author:
piccolo
Message:

closed all daemon with the final statement

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/Simulation.ma

    r3506 r3523  
    232232qed.
    233233
     234(*
    234235theorem simulates_pre_mesurable:
    235236 ∀S1,S2 : abstract_status.∀rel : relations S1 S2.
     
    445446]
    446447qed.
    447 *)
     448*)*)
Note: See TracChangeset for help on using the changeset viewer.