uncomputable.thy
changeset 60 c8ff97d9f8da
parent 37 c9b689bb4156
equal deleted inserted replaced
59:30950dadd09f 60:c8ff97d9f8da