Matcher.thy
2011-04-19 urbanc removed experimental code from Matcher
2011-04-19 urbanc implemented most suggestions from the reviewers
2011-02-14 urbanc updated
2011-02-14 urbanc added definition of DERIV and delta
2010-11-25 urbanc added paper
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