progs/MatcherNot.thy
changeset 970 1d4659dd83fe
parent 209 ad9b08267fa4