equal
deleted
inserted
replaced
7 |
7 |
8 |
8 |
9 theory Value imports Type begin |
9 theory Value imports Type begin |
10 |
10 |
11 typedecl loc --{* locations, i.e. abstract references on objects *} |
11 typedecl loc --{* locations, i.e. abstract references on objects *} |
12 arities loc :: "type" |
|
13 |
12 |
14 datatype val |
13 datatype val |
15 = Unit --{* dummy result value of void methods *} |
14 = Unit --{* dummy result value of void methods *} |
16 | Bool bool --{* Boolean value *} |
15 | Bool bool --{* Boolean value *} |
17 | Intg int --{* integer value *} |
16 | Intg int --{* integer value *} |