Wed, 23 Jan 2013 20:18:40 +0100 | Christian Urban |
updated | changeset | files |
Wed, 23 Jan 2013 17:02:23 +0100 | Christian Urban |
tuned | changeset | files |
Wed, 23 Jan 2013 15:57:35 +0100 | Christian Urban |
tuned | changeset | files |
Wed, 23 Jan 2013 15:42:47 +0100 | Christian Urban |
using some abbreviations | changeset | files |
Wed, 23 Jan 2013 15:33:26 +0100 | Christian Urban |
tuned more | changeset | files |
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 |