uncomputable.thy
changeset 67 140489a4020e
parent 37 c9b689bb4156
equal deleted inserted replaced
66:4a3cd7d70ec2 67:140489a4020e