progs/Matcher.thy
changeset 897 904de68a27a4
parent 882 5fcad75ade92
equal deleted inserted replaced
896:b7a6436c7758 897:904de68a27a4