progs/MatcherNot.thy
changeset 323 4ce07c4abdb4
parent 209 ad9b08267fa4
equal deleted inserted replaced
322:698ed1c96cd0 323:4ce07c4abdb4