thys/uncomputable.thy
changeset 157 fe0e6733b9e4
parent 141 4d7a568bd911