src/HOL/ex/cla.ML
1997-03-04 paulson 1997-03-04 Updated reference to Pelletier erratum
1997-01-31 paulson 1997-01-31 Correction to Problem 24
1996-08-19 paulson 1996-08-19 Now starts with set_current_thy
1996-07-30 berghofe 1996-07-30 Now also Deepen_tac and Best_tac are used.
1996-06-21 berghofe 1996-06-21 Classical tactics now use default claset.
1996-05-28 paulson 1996-05-28 Corrected a comment in #34
1996-05-02 paulson 1996-05-02 Restored a proof of Pelletier #38 -- mysteriously deleted
1996-05-01 paulson 1996-05-01 Two new "obvious" examples
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-12-14 paulson 1995-12-14 Added Pelletier's problem 62, as corrected in AAR Newletter #31
1995-03-22 clasohm 1995-03-22 converted ex with curried function application