Wed, 23 Jan 2013 15:06:32 +0100 Christian Urban also polished uh_h proof
Wed, 23 Jan 2013 12:25:24 +0100 Christian Urban updated h_uh proof in uncomputable
Wed, 23 Jan 2013 08:01:35 +0100 Christian Urban small updates
(0) -30 -10 -3 +3 +10 +30 +100 tip