uncomputable.thy
changeset 42 00ae320bb804
parent 37 c9b689bb4156
equal deleted inserted replaced
41:6d89ed67ba27 42:00ae320bb804