progs/Matcher.thy
changeset 906 2bf1516d730f
parent 882 5fcad75ade92
equal deleted inserted replaced
905:15973df32613 906:2bf1516d730f