thys/Turing.thy
changeset 167 641512ab0f6c
parent 163 67063c5365e1
child 168 d7570dbf9f06
equal deleted inserted replaced
166:99a180fd4194 167:641512ab0f6c