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
Fri, 30 Jan 2015 13:19:15 +0000 Christian Urban added line numbers
(0) -30 -10 -4 +4 +10 +30 +100 +300 tip