Set.thy
changeset 49 9f35f2744fa8
parent 12 201061643c4b
child 79 efd3e5a2d493
--- 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