thys/Turing.thy
changeset 180 8f443f2ed1f6
parent 168 d7570dbf9f06
child 190 f1ecb4a68a54