progs/Matcher.thy
changeset 854 c9e2568d4729
parent 495 acd4567735ce
child 882 ccb28148bdf3
equal deleted inserted replaced
853:851d8c00f033 854:c9e2568d4729