progs/Matcher.thy
changeset 896 b7a6436c7758
parent 882 5fcad75ade92
equal deleted inserted replaced
895:2f5a87ecdc81 896:b7a6436c7758