src/HOL/MicroJava/J/TypeRel.thy
changeset 11070 cc421547e744
parent 11026 a50365d21144
child 11088 08690b7c0568
     1.1 --- a/src/HOL/MicroJava/J/TypeRel.thy	Mon Feb 05 14:59:44 2001 +0100
     1.2 +++ b/src/HOL/MicroJava/J/TypeRel.thy	Mon Feb 05 20:14:15 2001 +0100
     1.3 @@ -2,9 +2,9 @@
     1.4      ID:         $Id$
     1.5      Author:     David von Oheimb
     1.6      Copyright   1999 Technische Universitaet Muenchen
     1.7 +*)
     1.8  
     1.9 -The relations between Java types
    1.10 -*)
    1.11 +header "Relations between Java Types"
    1.12  
    1.13  theory TypeRel = Decl:
    1.14