progs/Matcher.thy
changeset 947 dc31a099dc98
parent 882 5fcad75ade92
equal deleted inserted replaced
946:bee7c57c18c3 947:dc31a099dc98