progs/Matcher.thy
changeset 865 bc2a862a00d4
parent 495 7d9d86dc7aa0
child 882 5fcad75ade92
equal deleted inserted replaced
864:b5b1bc0a603b 865:bc2a862a00d4