Tue, 17 May 2016 14:28:22 +0100 Christian Urban Roy's comments
Tue, 17 May 2016 11:16:56 +0100 Christian Urban less squeezing
Tue, 17 May 2016 10:53:34 +0100 Christian Urban updated
Tue, 17 May 2016 05:14:41 +0100 Christian Urban squeezed on 16 pages
Tue, 17 May 2016 03:47:33 +0100 Christian Urban isarfied the simplify theory
Mon, 16 May 2016 15:20:23 +0100 Christian Urban improved simplifying theory
(0) -100 -30 -10 -6 +6 +10 +30 +100 +300 tip