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}"