src/HOL/MicroJava/J/Type.thy
changeset 12951 a9fdcb71d252
parent 12911 704713ca07ea
child 16417 9bc16273c2d4
     1.1 --- a/src/HOL/MicroJava/J/Type.thy	Tue Feb 26 13:47:19 2002 +0100
     1.2 +++ b/src/HOL/MicroJava/J/Type.thy	Tue Feb 26 15:45:32 2002 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4  datatype cname  
     1.5    = Object 
     1.6    | Xcpt xcpt 
     1.7 -  | Cname cname 
     1.8 +  | Cname cnam 
     1.9  
    1.10  typedecl vnam   -- "variable or field name"
    1.11  typedecl mname  -- "method name"