progs/Matcher.thy
changeset 971 51e00f223792
parent 882 5fcad75ade92
equal deleted inserted replaced
970:1d4659dd83fe 971:51e00f223792