Sun, 06 May 2018 18:20:25 +0000 removed some lemma duplicates
haftmann [Sun, 06 May 2018 18:20:25 +0000] rev 68100
removed some lemma duplicates
Sun, 06 May 2018 18:20:25 +0000 typo
haftmann [Sun, 06 May 2018 18:20:25 +0000] rev 68099
typo
Sun, 06 May 2018 18:20:25 +0000 more appropriate notion of emptiness
haftmann [Sun, 06 May 2018 18:20:25 +0000] rev 68098
more appropriate notion of emptiness
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip