uncomputable.thy
changeset 98 860f05037c36
parent 37 c9b689bb4156
equal deleted inserted replaced
97:d6f04e3e9894 98:860f05037c36