progs/Matcher.thy
changeset 676 62d168bf7ac8
parent 495 7d9d86dc7aa0
child 882 5fcad75ade92
equal deleted inserted replaced
675:d665e7dd66d7 676:62d168bf7ac8