thys/Turing.thy
changeset 183 4cf023ee2f4c
parent 168 d7570dbf9f06
child 190 f1ecb4a68a54