Matcher.thy
2010-10-19 urbanc added a file about the easy closure properties of regular sets (the difficult parts, like complement, are missing)
2010-10-03 urbanc added simple regexp matcher from Slind et al
less more (0) tip