thys/Uncomputable.thy
changeset 166 99a180fd4194
parent 163 67063c5365e1
child 168 d7570dbf9f06
equal deleted inserted replaced
165:582916f289ea 166:99a180fd4194