Tue, 17 Apr 2007 00:55:00 +0200 | huffman | moved root and sqrt lemmas from Transcendental.thy to NthRoot.thy | changeset | files |
Tue, 17 Apr 2007 00:37:14 +0200 | huffman | remove use of pos_boundedE | changeset | files |
Tue, 17 Apr 2007 00:33:49 +0200 | huffman | lemma geometric_sum no longer needs class division_by_zero | changeset | files |