| changeset 11703 | 6e5de8d4290a |
| parent 6255 | db63752140c7 |
| child 12338 | de0f4a63baa5 |
| 11702:ebfe5ba905b0 | 11703:6e5de8d4290a |
|---|---|
40 Init_def "sigma |= Init F == (first_world sigma) |= F" |
40 Init_def "sigma |= Init F == (first_world sigma) |= F" |
41 fw_temp_def "first_world == %sigma. sigma" |
41 fw_temp_def "first_world == %sigma. sigma" |
42 fw_stp_def "first_world == st1" |
42 fw_stp_def "first_world == st1" |
43 fw_act_def "first_world == %sigma. (st1 sigma, st2 sigma)" |
43 fw_act_def "first_world == %sigma. (st1 sigma, st2 sigma)" |
44 end |
44 end |
45 |
|
46 ML |