progs/Matcher2.thy
changeset 1044 c785864daf4e
parent 1023 fa3e3d00b802
equal deleted inserted replaced
1043:acb3a72f167e 1044:c785864daf4e