progs/MatcherNot.thy
changeset 344 408fd5994288
parent 209 ad9b08267fa4
equal deleted inserted replaced
343:539b2e88f5b9 344:408fd5994288