--- a/src/HOL/ex/Higher_Order_Logic.thy Tue Jun 01 11:25:26 2004 +0200
+++ b/src/HOL/ex/Higher_Order_Logic.thy Tue Jun 01 12:33:50 2004 +0200
@@ -20,7 +20,7 @@
subsection {* Pure Logic *}
-classes type \<subseteq> logic
+classes type
defaultsort type
typedecl o