thys/Uncomputable.thy
changeset 222 d682591c63e1
parent 169 6013ca0e6e22
child 288 a9003e6d0463
equal deleted inserted replaced
221:18905d086cbb 222:d682591c63e1