progs/Matcher.thy
changeset 945 5070392a1bd7
parent 882 5fcad75ade92
equal deleted inserted replaced
944:f5d2453c5640 945:5070392a1bd7