Fri, 15 Jun 2007 15:10:32 +0200 | nipkow | made divide_self a simp rule | file | diff | annotate |
Tue, 17 Apr 2007 00:37:14 +0200 | huffman | remove use of pos_boundedE | file | diff | annotate |
Tue, 12 Dec 2006 00:02:54 +0100 | huffman | theory of Frechet derivatives | file | diff | annotate |