changeset 41589 | bbd861837ebc |
parent 16417 | 9bc16273c2d4 |
child 44375 | dfc2e722fe47 |
--- a/src/HOL/NanoJava/Term.thy Sun Jan 16 15:31:22 2011 +0100 +++ b/src/HOL/NanoJava/Term.thy Sun Jan 16 15:53:03 2011 +0100 @@ -1,7 +1,5 @@ (* Title: HOL/NanoJava/Term.thy - ID: $Id$ - Author: David von Oheimb - Copyright 2001 Technische Universitaet Muenchen + Author: David von Oheimb, Technische Universitaet Muenchen *) header "Statements and expression emulations"