progs/MatcherNot.thy
changeset 791 d47041b23498
parent 209 ad9b08267fa4
equal deleted inserted replaced
790:31a9f89776a3 791:d47041b23498