Myhill_2.thy
changeset 139 a8b2dd36ec1c
parent 132 f77a7138f791
child 149 e122cb146ecc
equal deleted inserted replaced
138:2dfe13bc1443 139:a8b2dd36ec1c