progs/Matcher.thy
changeset 526 a6093b0ad246
parent 495 7d9d86dc7aa0
child 882 5fcad75ade92
equal deleted inserted replaced
525:a2ee4b11c976 526:a6093b0ad246