src/HOL/Lex/NAe_of_RegExp.ML
Mon, 27 Apr 1998 16:46:56 +0200 nipkow Added conversion of reg.expr. to automata.
less more (0) tip