thys/turing_basic.thy
changeset 77 04e5850818c8
parent 71 8c7f10b3da7b
child 84 4c8325c64dab