equal
deleted
inserted
replaced
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: David von Oheimb |
3 Author: David von Oheimb |
4 Copyright 1999 Technische Universitaet Muenchen |
4 Copyright 1999 Technische Universitaet Muenchen |
5 *) |
5 *) |
6 |
6 |
7 header "Program State" |
7 header {* \isaheader{Program State} *} |
8 |
8 |
9 theory State = TypeRel + Value: |
9 theory State = TypeRel + Value: |
10 |
10 |
11 types |
11 types |
12 fields_ = "(vname \<times> cname \<leadsto> val)" -- "field name, defining class, value" |
12 fields_ = "(vname \<times> cname \<leadsto> val)" -- "field name, defining class, value" |