Fri, 05 Feb 2016 10:16:10 +0000 Christian Urban started a paper and moved cruft to Attic
Tue, 02 Feb 2016 02:27:16 +0000 Christian Urban proved also finiteness of non-problematic values
Mon, 01 Feb 2016 22:30:27 +0000 Christian Urban extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |=
(0) -30 -10 -3 +3 +10 +30 +100 +300 tip