changeset 11372 | 648795477bb5 |
parent 11070 | cc421547e744 |
child 11643 | 0b3a02daf7fb |
--- a/src/HOL/MicroJava/J/Example.thy Mon Jun 11 19:21:13 2001 +0200 +++ b/src/HOL/MicroJava/J/Example.thy Tue Jun 12 14:11:00 2001 +0200 @@ -1,7 +1,7 @@ (* Title: isabelle/Bali/Example.thy ID: $Id$ Author: David von Oheimb - Copyright 1997 Technische Universitaet Muenchen + Copyright 1999 Technische Universitaet Muenchen *) header "Example MicroJava Program"