Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/NanoJava/Decl.thy
changeset 11486 8f32860eac3a
parent 11376 bf98ad1c22c6
child 11558 6539627881e8 
--- 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 *)
isabelle