Mon, 09 Feb 2015 12:13:10 +0000 Christian Urban updated some rules
Mon, 09 Feb 2015 00:46:25 +0000 fahad test
Sat, 31 Jan 2015 18:21:03 +0000 Christian Urban added a preliminary part describing the main theorem
(0) -30 -10 -3 +3 +10 +30 +100 +300 tip