progs/Matcher.thy
changeset 877 43460c7b2010
parent 495 7d9d86dc7aa0
child 882 5fcad75ade92
equal deleted inserted replaced
876:771396fa6cc4 877:43460c7b2010