
diff -r 47be9d22a0d6 -r 4a2bb4fbc168 Set.thy
--- a/Set.thy	Wed Aug 31 16:25:19 1994 +0200
+++ b/Set.thy	Wed Aug 31 17:50:59 1994 +0200
@@ -46,7 +46,7 @@
   (** Binding Constants **)
 
   "@Coll"       :: "[idt, bool] => 'a set"            ("(1{_./ _})")
-  "@SetCompr"   :: "['a, idts, bool] => 'a set"       ("{_ |/_./ _}")
+  "@SetCompr"   :: "['a, idts, bool] => 'a set"       ("(1{_ |/_./ _})")
 
   (* Big Intersection / Union *)
 




