uncomputable.thy
changeset 62 e33306b4c62e
parent 37 c9b689bb4156
equal deleted inserted replaced
61:7edbd5657702 62:e33306b4c62e