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