changeset 11070 | cc421547e744 |
parent 11026 | a50365d21144 |
child 12517 | 360e3215f029 |
--- a/src/HOL/MicroJava/J/Term.thy Mon Feb 05 14:59:44 2001 +0100 +++ b/src/HOL/MicroJava/J/Term.thy Mon Feb 05 20:14:15 2001 +0100 @@ -2,9 +2,9 @@ ID: $Id$ Author: David von Oheimb Copyright 1999 Technische Universitaet Muenchen +*) -Java expressions and statements -*) +header "Expressions and Statements" theory Term = Value: