Myhill_1.thy
changeset 62 d94209ad2880
parent 60 fb08f41ca33d
child 66 828ea293b61f
equal deleted inserted replaced
61:070f543e2560 62:d94209ad2880