progs/MatcherNot.thy
changeset 299 6322922aa990
parent 209 ad9b08267fa4
equal deleted inserted replaced
298:bdf84605b6cd 299:6322922aa990