Myhill_1.thy
changeset 72 e5116c2e6187
parent 71 426070e68b21
child 75 d63baacbdb16
equal deleted inserted replaced
71:426070e68b21 72:e5116c2e6187