progs/Matcher.thy
changeset 533 1276d7013c2c
parent 495 7d9d86dc7aa0
child 882 5fcad75ade92
equal deleted inserted replaced
532:15670cd83c44 533:1276d7013c2c