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