Myhill_2.thy
changeset 121 1cf12a107b03
parent 120 c1f596c7f59e
child 125 62925473bf6b
equal deleted inserted replaced
120:c1f596c7f59e 121:1cf12a107b03