src/HOL/Lex/RegExp2NA.ML
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-13 nipkow 2001-12-13 comp -> rel_comp
2001-06-26 nipkow 2001-06-26 removed duplicate proof and small mod.
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
1999-01-29 paulson 1999-01-29 expandshort
1998-10-23 oheimb 1998-10-23 corrected auto_tac (applications of unsafe wrappers)
1998-09-21 oheimb 1998-09-21 improved addbefore and addSbefore improved mechanism for unsafe wrappers
1998-09-10 paulson 1998-09-10 tidied, fixing PROOF FAILED
1998-08-17 nipkow 1998-08-17 Direct translation RegExp -> NA!