Changeset 3154 for src/common


Ignore:
Timestamp:
Apr 17, 2013, 2:53:45 PM (7 years ago)
Author:
piccolo
Message:

1) changed block_of_call in order to prevent pre-main calls
2) StatusSimulationHelper? in place

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/StatusSimulation.ma

    r3145 r3154  
    150150    ]
    151151; sim_final :
    152   ∀st1,st2.as_result S1 st1 = as_result S2 st2
     152  ∀st1,st2.sim_status_rel st1 st2 → as_result S1 st1 = as_result S2 st2
    153153}.
    154154
Note: See TracChangeset for help on using the changeset viewer.