progs/Matcher.thy
changeset 970 1d4659dd83fe
parent 882 5fcad75ade92
equal deleted inserted replaced
969:0dfa2923a7c6 970:1d4659dd83fe