Sat, 19 Jan 2013 21:03:55 +0000 | Christian Urban |
more proofs polished | changeset | files |
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 |