src/HOL/Lex/RegExp2NA.ML
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!