progs/Matcher.thy
changeset 965 94f5cce73a4f
parent 882 5fcad75ade92
equal deleted inserted replaced
964:da1f8c033b8e 965:94f5cce73a4f