author | wenzelm |
Mon, 29 Jan 2001 14:14:03 +0100 | |
changeset 10991 | 2e59c831cf07 |
parent 10990 | e7ffc23a05f6 |
child 10992 | 0932a82022fd |
Admin/BUGS | file | annotate | diff | comparison | revisions |
--- 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}"