| Wed, 24 Dec 2008 13:29:49 -0800 | huffman | clean up lemmas about ln | file | diff | annotate |
| Wed, 24 Dec 2008 13:16:26 -0800 | huffman | clean up lemmas about exp | file | diff | annotate |
| Wed, 24 Dec 2008 08:40:16 -0800 | huffman | rearranged subsections; cleaned up some proofs | file | diff | annotate |
| Wed, 24 Dec 2008 08:16:45 -0800 | huffman | move theorems about limits from Transcendental.thy to Deriv.thy | file | diff | annotate |
| Wed, 24 Dec 2008 08:06:27 -0800 | huffman | cleaned up some proofs; removed redundant simp rules | file | diff | annotate |
| Tue, 23 Dec 2008 15:02:30 -0800 | huffman | move sin and cos to their own subsection | file | diff | annotate |
| Tue, 23 Dec 2008 14:31:47 -0800 | huffman | clean up some proofs; remove unused lemmas | file | diff | annotate |
| Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate | base |