progs/Matcher.thy
changeset 500 91b888c91d73
parent 495 acd4567735ce
child 882 ccb28148bdf3
equal deleted inserted replaced
499:b06c81c0b12f 500:91b888c91d73