progs/Matcher.thy
2013-10-28 Christian Urban added matcher
less more (0) tip