Wed, 05 Mar 1997 13:40:41 +0100 *** empty log message ***
wenzelm [Wed, 05 Mar 1997 13:40:41 +0100] rev 2731
*** empty log message ***
Wed, 05 Mar 1997 13:37:16 +0100 *** empty log message ***
wenzelm [Wed, 05 Mar 1997 13:37:16 +0100] rev 2730
*** empty log message ***
Wed, 05 Mar 1997 10:19:42 +0100 Added comment
paulson [Wed, 05 Mar 1997 10:19:42 +0100] rev 2729
Added comment
Wed, 05 Mar 1997 10:08:32 +0100 Now uses eta_contract_atom for greater speed
paulson [Wed, 05 Mar 1997 10:08:32 +0100] rev 2728
Now uses eta_contract_atom for greater speed
Wed, 05 Mar 1997 10:07:04 +0100 Eta-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
Wed, 05 Mar 1997 10:05:32 +0100 HOL: renaming of "not"
paulson [Wed, 05 Mar 1997 10:05:32 +0100] rev 2726
HOL: renaming of "not"
Wed, 05 Mar 1997 10:04:45 +0100 Declares 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
Wed, 05 Mar 1997 10:03:30 +0100 Added comment
paulson [Wed, 05 Mar 1997 10:03:30 +0100] rev 2724
Added comment
Wed, 05 Mar 1997 10:02:53 +0100 Now 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
Wed, 05 Mar 1997 10:01:57 +0100 Now 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
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip