progs/Matcher.thy
changeset 950 285da21f44c0
parent 882 ccb28148bdf3
child 980 4f422766763f
equal deleted inserted replaced
949:58720903336e 950:285da21f44c0