Thu, 24 Jan 2013 17:14:39 +0100 Christian Urban updated paper
Thu, 24 Jan 2013 15:04:11 +0100 Christian Urban updated
Thu, 24 Jan 2013 12:01:44 +0100 Christian Urban added literature
Thu, 24 Jan 2013 11:38:07 +0100 Christian Urban updated paper
Thu, 24 Jan 2013 10:53:43 +0100 Christian Urban updated paper
Thu, 24 Jan 2013 00:20:26 +0100 Christian Urban updated
Wed, 23 Jan 2013 20:18:40 +0100 Christian Urban updated
Wed, 23 Jan 2013 17:02:23 +0100 Christian Urban tuned
Wed, 23 Jan 2013 15:57:35 +0100 Christian Urban tuned
Wed, 23 Jan 2013 15:42:47 +0100 Christian Urban using some abbreviations
Wed, 23 Jan 2013 15:33:26 +0100 Christian Urban tuned more
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) -14 +14 +100 tip