uncomputable.thy
2013-01-12 Christian Urban added new version of uncomputable
2012-12-24 Christian Urban initial setup
less more (0) tip