thys/uncomputable.thy
changeset 59 30950dadd09f
parent 56 0838b0ac52ab
child 61 7edbd5657702
equal deleted inserted replaced
58:fbd346f5af86 59:30950dadd09f