progs/Matcher.thy
changeset 932 5678414a3898
parent 882 5fcad75ade92
equal deleted inserted replaced
931:14a6adca16b8 932:5678414a3898