Sat, 19 Jan 2013 19:23:42 +0000 | Christian Urban |
more proofs polished | changeset | files |
Sat, 19 Jan 2013 15:27:21 +0000 | Christian Urban |
some small changes to turing and uncomputable | changeset | files |
Sat, 19 Jan 2013 14:44:07 +0000 | Christian Urban |
added turing_hoare | changeset | files |