
diff -r 4abe17e92130 -r 523518f44286 src/CCL/Set.thy
--- a/src/CCL/Set.thy	Fri Mar 04 12:14:21 1994 +0100
+++ b/src/CCL/Set.thy	Thu Mar 17 11:24:31 1994 +0100
@@ -8,7 +8,7 @@
 Set = FOL +
 
 types
-  set 1
+  'a set
 
 arities
   set :: (term) term




