*** empty log message ***
authorwenzelm
Mon Jan 29 14:14:03 2001 +0100 (2001-01-29)
changeset 109912e59c831cf07
parent 10990 e7ffc23a05f6
child 10992 0932a82022fd
*** empty log message ***
Admin/BUGS
     1.1 --- a/Admin/BUGS	Mon Jan 29 13:31:30 2001 +0100
     1.2 +++ b/Admin/BUGS	Mon Jan 29 14:14:03 2001 +0100
     1.3 @@ -35,7 +35,3 @@
     1.4  'b
     1.5  *** The exception above was raised for
     1.6  *** (!!uu uua. PROP P (uu, uua)) ==> PROP P xa
     1.7 -
     1.8 -- bug in HOL/Set tr':
     1.9 -term "{x. EX a b c. x = f a b c & P x}"
    1.10 -prints as: "{f a b c |a b c. P B.0}"