Wed, 23 Jan 2013 12:25:24 +0100 updated h_uh proof in uncomputable
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 12:25:24 +0100] rev 64
updated h_uh proof in uncomputable
Wed, 23 Jan 2013 08:01:35 +0100 small updates
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 08:01:35 +0100] rev 63
small updates
Tue, 22 Jan 2013 14:46:02 +0000 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 22 Jan 2013 14:46:02 +0000] rev 62
updated
(0) -30 -10 -3 +3 +10 +30 +100 tip