thys/uncomputable.thy
2013-01-17 Christian Urban added abacus
2013-01-16 Christian Urban updated uncomputable
2013-01-16 Christian Urban added Jian's new version of uncomputable
less more (0) tip