--- a/src/HOL/Record.thy Sat Oct 27 00:00:38 2001 +0200
+++ b/src/HOL/Record.thy Sat Oct 27 00:00:55 2001 +0200
@@ -126,12 +126,6 @@
qed
-subsection {* Type class for record extensions *}
-
-axclass more < "term"
-instance unit :: more ..
-
-
subsection {* Concrete record syntax *}
nonterminals