progs/MatcherNot.thy
2013-11-27 Christian Urban added
less more (0) tip