Mon, 17 Nov 2008 17:00:55 +0100 | haftmann | tuned unfold_locales invocation | file | diff | annotate |
Tue, 15 Jul 2008 16:50:09 +0200 | ballarin | Removed uses of context element includes. | file | diff | annotate |
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 |