paulson [Wed, 05 Mar 1997 10:08:32 +0100] rev 2728
Now uses eta_contract_atom for greater speed
paulson [Wed, 05 Mar 1997 10:07:04 +0100] rev 2727
Eta-expanded declarations of addSIs2, etc., to avoid polymorphism errors
paulson [Wed, 05 Mar 1997 10:05:32 +0100] rev 2726
HOL: renaming of "not"
paulson [Wed, 05 Mar 1997 10:04:45 +0100] rev 2725
Declares eta_contract_atom; fixed comment; some tidying
paulson [Wed, 05 Mar 1997 10:03:30 +0100] rev 2724
Added comment
paulson [Wed, 05 Mar 1997 10:02:53 +0100] rev 2723
Now declares needs_filtered_use, but still unusable with current MLWorks
paulson [Wed, 05 Mar 1997 10:01:57 +0100] rev 2722
Now uses rotate_tac and eta_contract_atom for greater speed
paulson [Wed, 05 Mar 1997 09:59:55 +0100] rev 2721
New version of InterE, like its ZF counterpart
paulson [Wed, 05 Mar 1997 09:59:24 +0100] rev 2720
Renamed constant "not" to "Not"
paulson [Tue, 04 Mar 1997 10:58:29 +0100] rev 2719
Renamed constant "not" to "Not"