thys/turing_basic.thy
changeset 46 df4c7bb6c79e
parent 43 a8785fa80278
child 47 251e192339b7