progs/Matcher2.thy
changeset 1014 8400bbdef1b7
parent 1011 31e011ce66e3
equal deleted inserted replaced
1013:1a23d87d1700 1014:8400bbdef1b7