diff -r e7ffc23a05f6 -r 2e59c831cf07 Admin/BUGS
--- a/Admin/BUGS	Mon Jan 29 13:31:30 2001 +0100
+++ b/Admin/BUGS	Mon Jan 29 14:14:03 2001 +0100
@@ -35,7 +35,3 @@
 'b
 *** The exception above was raised for
 *** (!!uu uua. PROP P (uu, uua)) ==> PROP P xa
-
-- bug in HOL/Set tr':
-term "{x. EX a b c. x = f a b c & P x}"
-prints as: "{f a b c |a b c. P B.0}"