src/HOL/Lex/RegExp2NAe.ML
2004-02-19 paulson 2004-02-19 removal of the legacy ML structure List
2002-05-13 nipkow 2002-05-13 *** empty log message ***
2002-01-17 nipkow 2002-01-17 Added code generation to Scanner.thy Renamed Union -> Or, union -> or
2001-12-20 nipkow 2001-12-20 renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl
2001-12-13 nipkow 2001-12-13 comp -> rel_comp
2001-03-29 nipkow 2001-03-29 generalization of 1 point rules for ALL
2001-01-29 nipkow 2001-01-29 Moved some thms from Transitive_ClosureTr.ML to Transitive_Closure.thy
2000-08-30 nipkow 2000-08-30 introduced induct_thm_tac
2000-03-13 wenzelm 2000-03-13 case_tac now subsumes both boolean and datatype cases;
2000-03-13 nipkow 2000-03-13 exhaust_tac -> cases_tac
1999-10-27 oheimb 1999-10-27 added various little lemmas
1998-10-23 oheimb 1998-10-23 corrected auto_tac (applications of unsafe wrappers)
1998-10-02 nipkow 1998-10-02 id <-> Id
1998-09-10 paulson 1998-09-10 tidied, fixing PROOF FAILED
1998-08-19 paulson 1998-08-19 tidied
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-07-12 wenzelm 1998-07-12 isatool expandshort;
1998-07-03 nipkow 1998-07-03 Removed leading !! in goals.
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-05-18 nipkow 1998-05-18 snoc_induct/exhaust -> rev_induct_exhaust.
1998-05-08 nipkow 1998-05-08 Reshuffeling, renaming and a few simple corollaries.