thys/uncomputable.thy
changeset 150 3c504ca0ce95
parent 141 4d7a568bd911