progs/MatcherNot.thy
changeset 493 4e97783862ff
parent 209 ad9b08267fa4