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
less more (0) -3 tip