Tue, 22 Mar 2016 12:18:30 +0000 Christian Urban fixed a problem with two example theories
(0) -3000 -1000 -300 -100 -30 -10 -1 +1 tip