uncomputable.thy
changeset 117 b27f4bd98078
parent 37 c9b689bb4156
equal deleted inserted replaced
116:11fd52dceb9b 117:b27f4bd98078