2017-10-22 tuned: build hg_graph only once;
wenzelm [Sun, 22 Oct 2017 13:12:38 +0200] rev 66895
tuned: build hg_graph only once; tuned signature;
2017-10-22 tuned
nipkow [Sun, 22 Oct 2017 11:59:44 +0200] rev 66894
tuned
2017-10-22 derived axiom iffI as a lemma (thanks to Alexander Maletzky)
nipkow [Sun, 22 Oct 2017 09:10:10 +0200] rev 66893
derived axiom iffI as a lemma (thanks to Alexander Maletzky)
2017-10-21 remove trailing whitespaces in List
bulwahn [Sat, 21 Oct 2017 18:19:11 +0200] rev 66892
remove trailing whitespaces in List
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 tip