progs/Matcher2.thy
changeset 464 20346b9587ff
parent 456 2fddf8ab744f
child 971 51e00f223792
equal deleted inserted replaced
463:97a5956dead4 464:20346b9587ff