src/HOL/MicroJava/J/TypeRel.thy
changeset 41589 bbd861837ebc
parent 35416 d8d7d1b785af
child 44013 5cfc1c36ae97
     1.1 --- a/src/HOL/MicroJava/J/TypeRel.thy	Sun Jan 16 15:31:22 2011 +0100
     1.2 +++ b/src/HOL/MicroJava/J/TypeRel.thy	Sun Jan 16 15:53:03 2011 +0100
     1.3 @@ -1,7 +1,5 @@
     1.4  (*  Title:      HOL/MicroJava/J/TypeRel.thy
     1.5 -    ID:         $Id$
     1.6 -    Author:     David von Oheimb
     1.7 -    Copyright   1999 Technische Universitaet Muenchen
     1.8 +    Author:     David von Oheimb, Technische Universitaet Muenchen
     1.9  *)
    1.10  
    1.11  header {* \isaheader{Relations between Java Types} *}