uncomputable.thy
changeset 82 c470f1705baa
parent 37 c9b689bb4156
equal deleted inserted replaced
81:2e9881578cb2 82:c470f1705baa