| 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 |
| Tue, 17 Apr 2007 00:30:44 +0200 | wenzelm | tuned proofs; | changeset | files |