Matcher.thy
2010-10-03 urbanc added simple regexp matcher from Slind et al
less more (0) tip