progs/Matcher.thy
changeset 923 437e4f8d35d8
parent 882 5fcad75ade92
equal deleted inserted replaced
922:e86ea06e3b25 923:437e4f8d35d8