changeset 11372 | 648795477bb5 |
parent 11070 | cc421547e744 |
child 12517 | 360e3215f029 |
--- a/src/HOL/MicroJava/J/Decl.thy Mon Jun 11 19:21:13 2001 +0200 +++ b/src/HOL/MicroJava/J/Decl.thy Tue Jun 12 14:11:00 2001 +0200 @@ -1,7 +1,7 @@ (* Title: HOL/MicroJava/J/Decl.thy ID: $Id$ Author: David von Oheimb - Copyright 1997 Technische Universitaet Muenchen + Copyright 1999 Technische Universitaet Muenchen *) header "Class Declarations and whole Programs"