1997-03-05 agoEta-expanded declarations of addSIs2, etc., to avoid polymorphism errors
paulson [Wed, 05 Mar 1997 10:07:04 +0100] rev 2727
Eta-expanded declarations of addSIs2, etc., to avoid polymorphism errors

1997-03-05 agoHOL: renaming of "not"
paulson [Wed, 05 Mar 1997 10:05:32 +0100] rev 2726
HOL: renaming of "not"

1997-03-05 agoDeclares eta_contract_atom; fixed comment; some tidying
paulson [Wed, 05 Mar 1997 10:04:45 +0100] rev 2725
Declares eta_contract_atom; fixed comment; some tidying

1997-03-05 agoAdded comment
paulson [Wed, 05 Mar 1997 10:03:30 +0100] rev 2724
Added comment

1997-03-05 agoNow declares needs_filtered_use, but still unusable with current MLWorks
paulson [Wed, 05 Mar 1997 10:02:53 +0100] rev 2723
Now declares needs_filtered_use, but still unusable with current MLWorks

1997-03-05 agoNow uses rotate_tac and eta_contract_atom for greater speed
paulson [Wed, 05 Mar 1997 10:01:57 +0100] rev 2722
Now uses rotate_tac and eta_contract_atom for greater speed

1997-03-05 agoNew version of InterE, like its ZF counterpart
paulson [Wed, 05 Mar 1997 09:59:55 +0100] rev 2721
New version of InterE, like its ZF counterpart

1997-03-05 agoRenamed constant "not" to "Not"
paulson [Wed, 05 Mar 1997 09:59:24 +0100] rev 2720
Renamed constant "not" to "Not"

1997-03-04 agoRenamed constant "not" to "Not"
paulson [Tue, 04 Mar 1997 10:58:29 +0100] rev 2719
Renamed constant "not" to "Not"

1997-03-04 agoRenamed constant "not" to "Not"
paulson [Tue, 04 Mar 1997 10:48:36 +0100] rev 2718
Renamed constant "not" to "Not"