Attic/uncomputable.thy
changeset 175 bc6b6845d57c
parent 127 469c26d19f8e
equal deleted inserted replaced
174:3674347dd98e 175:bc6b6845d57c