Admin/BUGS
changeset 10991 2e59c831cf07
parent 10941 6c09cae3b4ad
child 13447 3470596f3cd5
equal deleted inserted replaced
10990:e7ffc23a05f6 10991:2e59c831cf07
    33 forall_elim: Variable ?uu has two distinct types
    33 forall_elim: Variable ?uu has two distinct types
    34 'a
    34 'a
    35 'b
    35 'b
    36 *** The exception above was raised for
    36 *** The exception above was raised for
    37 *** (!!uu uua. PROP P (uu, uua)) ==> PROP P xa
    37 *** (!!uu uua. PROP P (uu, uua)) ==> PROP P xa
    38 
       
    39 - bug in HOL/Set tr':
       
    40 term "{x. EX a b c. x = f a b c & P x}"
       
    41 prints as: "{f a b c |a b c. P B.0}"