thys/turing_basic.thy
changeset 78 2669235c4b1e
parent 71 8c7f10b3da7b
child 84 4c8325c64dab