thys/turing_basic.thy
changeset 81 2e9881578cb2
parent 71 8c7f10b3da7b
child 84 4c8325c64dab