Wed, 08 Oct 2014 10:28:19 +0100 Christian Urban deleted temporary files
Tue, 07 Oct 2014 18:43:29 +0100 fahadausaf lemma
Tue, 07 Oct 2014 16:17:23 +0100 Christian Urban added type information to produce the expected result with value
(0) -10 -3 +3 +10 +30 +100 +300 tip