Sun, 21 Oct 2007 14:53:44 +0200 | nipkow | Eliminated most of the neq0_conv occurrences. As a result, many | file | diff | annotate |
Tue, 22 May 2007 07:29:49 +0200 | huffman | rename lemmas LIM_ident, isCont_ident, DERIV_ident | file | diff | annotate |
Sun, 25 Sep 2005 20:14:16 +0200 | berghofe | Formalization of Taylor series by Lukas Bulwahn and | file | diff | annotate |