changeset 11070 | cc421547e744 |
parent 11026 | a50365d21144 |
child 11372 | 648795477bb5 |
--- a/src/HOL/MicroJava/J/State.thy Mon Feb 05 14:59:44 2001 +0100 +++ b/src/HOL/MicroJava/J/State.thy Mon Feb 05 20:14:15 2001 +0100 @@ -2,9 +2,9 @@ ID: $Id$ Author: David von Oheimb Copyright 1999 Technische Universitaet Muenchen +*) -State for evaluation of Java expressions and statements -*) +header "Program State" theory State = TypeRel + Value: