| Wed, 27 Sep 2006 03:05:28 +0200 | huffman | instance complex :: real_normed_field; cleaned up | changeset | files |
| Wed, 27 Sep 2006 03:04:35 +0200 | huffman | add lemma stc_unique; shorten stc proofs | changeset | files |
| Wed, 27 Sep 2006 02:07:34 +0200 | huffman | add lemmas approx_diff and st_unique, shorten st proofs | changeset | files |