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