src/HOL/NanoJava/Term.thy

--- a/src/HOL/NanoJava/Term.thy	Thu Aug 09 22:07:39 2001 +0200
+++ b/src/HOL/NanoJava/Term.thy	Thu Aug 09 23:42:45 2001 +0200
@@ -11,9 +11,6 @@
 typedecl cname  (* class name *)
 typedecl vnam   (* variable or field name *)
 typedecl mname  (* method name *)
-arities  cname :: "term"
-         vnam  :: "term"
-         mname :: "term"
 types   imname = "cname \<times> mname"
 
 datatype vname  (* variable for special names *)