Sun, 22 Oct 2017 09:10:10 +0200 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)
Sat, 21 Oct 2017 18:19:11 +0200 remove trailing whitespaces in List
bulwahn [Sat, 21 Oct 2017 18:19:11 +0200] rev 66892
remove trailing whitespaces in List
Sat, 21 Oct 2017 18:16:56 +0200 drop a superfluous assumption that was found by the find_unused_assms command
bulwahn [Sat, 21 Oct 2017 18:16:56 +0200] rev 66891
drop a superfluous assumption that was found by the find_unused_assms command
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip