equal
deleted
inserted
replaced
11 "body \<equiv> \<lambda>(C,m). bdy (the (method C m))" |
11 "body \<equiv> \<lambda>(C,m). bdy (the (method C m))" |
12 |
12 |
13 text {* Locations, i.e.\ abstract references to objects *} |
13 text {* Locations, i.e.\ abstract references to objects *} |
14 typedecl loc |
14 typedecl loc |
15 |
15 |
16 datatype val |
16 datatype_new val |
17 = Null --{* null reference *} |
17 = Null --{* null reference *} |
18 | Addr loc --{* address, i.e. location of object *} |
18 | Addr loc --{* address, i.e. location of object *} |
19 |
19 |
20 type_synonym fields |
20 type_synonym fields |
21 = "(fname \<rightharpoonup> val)" |
21 = "(fname \<rightharpoonup> val)" |