| changeset 58310 | 91ea607a34d8 |
| parent 58249 | 180f1b3508ed |
| child 63167 | 0909deb8059b |
| 58309:a09ec6daaa19 | 58310:91ea607a34d8 |
|---|---|
9 *} |
9 *} |
10 |
10 |
11 type_synonym var = unit |
11 type_synonym var = unit |
12 type_synonym state = bool |
12 type_synonym state = bool |
13 |
13 |
14 datatype_new com = |
14 datatype com = |
15 Skip | |
15 Skip | |
16 Ass bool | |
16 Ass bool | |
17 Seq com com | |
17 Seq com com | |
18 IF com com |
18 IF com com |
19 |
19 |