progs/Matcher2.thy
changeset 899 295c362b3e4e
parent 456 4abd90760ffe
child 970 e15be5466802
equal deleted inserted replaced
898:5075b69142d9 899:295c362b3e4e