Attic/uncomputable.thy
changeset 185 2fad78b479a3
parent 127 469c26d19f8e