changeset 11070 | cc421547e744 |
parent 11026 | a50365d21144 |
child 11372 | 648795477bb5 |
--- a/src/HOL/MicroJava/J/Decl.thy Mon Feb 05 14:59:44 2001 +0100 +++ b/src/HOL/MicroJava/J/Decl.thy Mon Feb 05 20:14:15 2001 +0100 @@ -2,9 +2,9 @@ ID: $Id$ Author: David von Oheimb Copyright 1997 Technische Universitaet Muenchen +*) -Class declarations and programs -*) +header "Class Declarations and whole Programs" theory Decl = Type: