thys/Turing_Hoare.thy
changeset 176 d2c85556d290
parent 168 d7570dbf9f06
child 288 a9003e6d0463
equal deleted inserted replaced
175:bc6b6845d57c 176:d2c85556d290