Changeset 3582 for LTS/Simulation.ma


Ignore:
Timestamp:
Jul 16, 2015, 4:02:53 PM (4 years ago)
Author:
piccolo
Message:

pass variable to stack in place

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/Simulation.ma

    r3579 r3582  
    1515(rel : relations …S1 S2) : Prop ≝
    1616 { initial_is_initial :
    17    ∀s1,s2.(bool_to_Prop (as_initial … s1) →  bool_to_Prop (as_initial … s2)) → Srel … rel s1 s2
     17   ∀s1,s2.bool_to_Prop (as_initial … s1) →  bool_to_Prop (as_initial … s2) → Srel … rel s1 s2
    1818 ; final_is_final :
    1919   ∀s1,s2.bool_to_Prop (as_final … s1) → Srel … rel s1 s2 → bool_to_Prop (as_final … s2)
Note: See TracChangeset for help on using the changeset viewer.