src/HOL/Lex/RegExp2NA.ML
Fri, 29 Jan 1999 16:26:12 +0100 paulson expandshort
Fri, 23 Oct 1998 20:44:34 +0200 oheimb corrected auto_tac (applications of unsafe wrappers)
Mon, 21 Sep 1998 23:17:28 +0200 oheimb improved addbefore and addSbefore
Thu, 10 Sep 1998 17:27:50 +0200 paulson tidied, fixing PROOF FAILED
Mon, 17 Aug 1998 11:00:57 +0200 nipkow Direct translation RegExp -> NA!
less more (0) tip