Myhill_1.thy
changeset 123 23c0e6f2929d
parent 110 e500cab16be4
child 149 e122cb146ecc
equal deleted inserted replaced
122:ab6637008963 123:23c0e6f2929d