
diff -r 21291189b51e -r 9f35f2744fa8 Set.thy
--- a/Set.thy	Wed Mar 02 12:26:55 1994 +0100
+++ b/Set.thy	Thu Mar 17 11:27:29 1994 +0100
@@ -7,7 +7,7 @@
 Set = Ord +
 
 types
-  set 1
+  'a set
 
 arities
   set :: (term) term




