thys/uncomputable.thy
changeset 142 21c7139ffa07
parent 141 4d7a568bd911
equal deleted inserted replaced
141:4d7a568bd911 142:21c7139ffa07