
diff -r f7157bdc1e70 -r 8f32860eac3a src/HOL/NanoJava/Decl.thy
--- a/src/HOL/NanoJava/Decl.thy	Wed Aug 08 15:16:38 2001 +0200
+++ b/src/HOL/NanoJava/Decl.thy	Wed Aug 08 16:57:43 2001 +0200
@@ -15,7 +15,6 @@
 types	fdecl		(* field declaration *)
 	= "vnam \<times> ty"
 
-
 record  methd		(* method declaration *)
 	= par :: ty 
           res :: ty 
@@ -46,9 +45,6 @@
 consts
 
   Prog    :: prog	(* program as a global value *)
-
-consts
-
   Object  :: cname	(* name of root class *)
 
 




