src/HOL/Lex/RegExp2NAe.thy
changeset 14360 e654599b114e
parent 12792 b344226f924c
child 14440 3d6ed7eedfc8