uncomputable.thy
changeset 44 2f765afc1f7e
parent 37 c9b689bb4156
equal deleted inserted replaced
43:a8785fa80278 44:2f765afc1f7e