src/CCL/set.thy
changeset 278 523518f44286
parent 0 a5a9c433f639
--- 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