Wed, 23 Jan 2013 15:06:32 +0100 | Christian Urban |
also polished uh_h proof | changeset | files |
Wed, 23 Jan 2013 12:25:24 +0100 | Christian Urban |
updated h_uh proof in uncomputable | changeset | files |
Wed, 23 Jan 2013 08:01:35 +0100 | Christian Urban |
small updates | changeset | files |
Tue, 22 Jan 2013 14:46:02 +0000 | Christian Urban |
updated | changeset | files |
Tue, 22 Jan 2013 14:38:56 +0000 | Christian Urban |
updated files | changeset | files |
Sun, 20 Jan 2013 16:01:16 +0000 | Christian Urban |
new version of abacus | changeset | files |
Sun, 20 Jan 2013 05:04:19 +0000 | Christian Urban |
polished turing_basic | changeset | files |