uncomputable.thy
changeset 56 0838b0ac52ab
parent 37 c9b689bb4156
equal deleted inserted replaced
55:cd4ef33c8fb1 56:0838b0ac52ab