1997-03-05 wenzelm [Wed, 05 Mar 1997 13:37:16 +0100] rev 2730
*** empty log message ***
NEWS

1997-03-05 paulson [Wed, 05 Mar 1997 10:19:42 +0100] rev 2729
Added comment
src/FOL/ex/cla.ML

1997-03-05 paulson [Wed, 05 Mar 1997 10:08:32 +0100] rev 2728
Now uses eta_contract_atom for greater speed
src/FOLP/hypsubst.ML

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

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

1997-03-05 paulson [Wed, 05 Mar 1997 10:04:45 +0100] rev 2725
Declares eta_contract_atom; fixed comment; some tidying
src/Pure/pattern.ML

1997-03-05 paulson [Wed, 05 Mar 1997 10:03:30 +0100] rev 2724
Added comment
src/Pure/POLY.ML

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

1997-03-05 paulson [Wed, 05 Mar 1997 10:01:57 +0100] rev 2722
Now uses rotate_tac and eta_contract_atom for greater speed
src/Provers/hypsubst.ML

1997-03-05 paulson [Wed, 05 Mar 1997 09:59:55 +0100] rev 2721
New version of InterE, like its ZF counterpart
src/HOL/Set.ML