Wed, 24 Dec 2008 09:26:18 -0800 | huffman | use less_iff_Suc_add instead of less_add_one | changeset | files |
Wed, 24 Dec 2008 08:40:16 -0800 | huffman | rearranged subsections; cleaned up some proofs | changeset | files |
Wed, 24 Dec 2008 08:16:45 -0800 | huffman | move theorems about limits from Transcendental.thy to Deriv.thy | changeset | files |