Attic/uncomputable.thy
changeset 190 f1ecb4a68a54
parent 127 469c26d19f8e
equal deleted inserted replaced
189:5974111de158 190:f1ecb4a68a54