progs/MatcherNot.thy
changeset 995 8a4f09ef6e20
parent 209 ad9b08267fa4