Changeset 3385


Ignore:
Timestamp:
Jul 19, 2013, 4:38:10 PM (4 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/Simulation.ma

    r3384 r3385  
    4747     ∀s1,s2,l,s1'.
    4848      as_execute s1 s2 (call_act l) →
     49      ¬ post_labelled … →
    4950      Srel s1 s1' →
    5051      ∃s2',s2'',s2'''.
Note: See TracChangeset for help on using the changeset viewer.