progs/Matcher.thy
changeset 942 7f52427568ff
parent 882 ccb28148bdf3
child 980 4f422766763f
equal deleted inserted replaced
941:38456acd29f3 942:7f52427568ff