thys/uncomputable.thy
2013-01-22 Christian Urban updated files
2013-01-19 Christian Urban some small changes to turing and uncomputable
2013-01-19 Christian Urban added turing_hoare
less more (0) -3 tip