progs/Matcher.thy
changeset 976 4be299d9b41b
parent 882 ccb28148bdf3
child 980 4f422766763f
equal deleted inserted replaced
975:c07777e9956a 976:4be299d9b41b