src/HOL/Lex/Prefix.ML
1996-10-27 nipkow 1996-10-27 Simplifid proofs.
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.