thys/Turing_Hoare.thy
changeset 192 3c1107984b41
parent 168 d7570dbf9f06
child 288 a9003e6d0463