src/HOL/Lex/Auto.ML
1996-10-07 paulson 1996-10-07 Removed commands made redundant by new one-point rules
1996-09-12 paulson 1996-09-12 Tidied many proofs, using AddIffs to let equivalences take the place of separate Intr and Elim rules. Also deleted most named clasets.
1996-07-30 berghofe 1996-07-30 Classical tactics now use default claset.
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-11-18 nipkow 1995-11-18 Half a lexical analyzer generator.