changeset 810 | 91c68f74f458 |
parent 753 | ec86863e87c8 |
child 1155 | 928a16e02f9f |
809:1daa0269eb5d | 810:91c68f74f458 |
---|---|
6 Arithmetic expressions, Boolean expressions, Commands |
6 Arithmetic expressions, Boolean expressions, Commands |
7 |
7 |
8 And their Operational semantics |
8 And their Operational semantics |
9 *) |
9 *) |
10 |
10 |
11 Com = Univ + "Datatype" + |
11 Com = Datatype + |
12 |
12 |
13 (** Arithmetic expressions **) |
13 (** Arithmetic expressions **) |
14 consts loc :: "i" |
14 consts loc :: "i" |
15 aexp :: "i" |
15 aexp :: "i" |
16 |
16 |