thys/uncomputable.thy
changeset 59 30950dadd09f
parent 56 0838b0ac52ab
child 61 7edbd5657702