equal
deleted
inserted
replaced
34 |
34 |
35 queueing :: state set |
35 queueing :: state set |
36 "queueing == above Un below" |
36 "queueing == above Un below" |
37 |
37 |
38 goingup :: state set |
38 goingup :: state set |
39 "goingup == above Int ({s. up s} Un Compl below)" |
39 "goingup == above Int ({s. up s} Un -below)" |
40 |
40 |
41 goingdown :: state set |
41 goingdown :: state set |
42 "goingdown == below Int ({s. ~ up s} Un Compl above)" |
42 "goingdown == below Int ({s. ~ up s} Un -above)" |
43 |
43 |
44 ready :: state set |
44 ready :: state set |
45 "ready == {s. stop s & ~ open s & move s}" |
45 "ready == {s. stop s & ~ open s & move s}" |
46 |
46 |
47 |
47 |