thys/uncomputable.thy
changeset 146 0f52b971cc03
parent 141 4d7a568bd911