changeset 41589 | bbd861837ebc |
parent 39159 | 0dec18004e75 |
child 45133 | 2214ba5bdfff |
--- a/src/HOL/MicroJava/J/JTypeSafe.thy Sun Jan 16 15:31:22 2011 +0100 +++ b/src/HOL/MicroJava/J/JTypeSafe.thy Sun Jan 16 15:53:03 2011 +0100 @@ -1,7 +1,5 @@ (* Title: HOL/MicroJava/J/JTypeSafe.thy - ID: $Id$ - Author: David von Oheimb - Copyright 1999 Technische Universitaet Muenchen + Author: David von Oheimb, Technische Universitaet Muenchen *) header {* \isaheader{Type Safety Proof} *}