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