Attic/uncomputable.thy
changeset 281 00ac265b251b
parent 127 469c26d19f8e