progs/Matcher.thy
changeset 908 0138618eff73
parent 882 5fcad75ade92
equal deleted inserted replaced
907:8160c55991b9 908:0138618eff73