| changeset 10991 | 2e59c831cf07 |
| parent 10941 | 6c09cae3b4ad |
| child 13447 | 3470596f3cd5 |
--- 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}"