equal
deleted
inserted
replaced
4 Copyright 1999 Technische Universitaet Muenchen |
4 Copyright 1999 Technische Universitaet Muenchen |
5 *) |
5 *) |
6 |
6 |
7 header {* \isaheader{Expressions and Statements} *} |
7 header {* \isaheader{Expressions and Statements} *} |
8 |
8 |
9 theory Term = Value: |
9 theory Term imports Value begin |
10 |
10 |
11 datatype binop = Eq | Add -- "function codes for binary operation" |
11 datatype binop = Eq | Add -- "function codes for binary operation" |
12 |
12 |
13 datatype expr |
13 datatype expr |
14 = NewC cname -- "class instance creation" |
14 = NewC cname -- "class instance creation" |