| Wed, 30 May 2007 01:53:38 +0200 | huffman | renamed some lemmas in Complex.thy | file | diff | annotate |
| Mon, 14 May 2007 18:48:24 +0200 | huffman | move lemmas to RealPow.thy; tuned proofs | file | diff | annotate |
| Thu, 10 May 2007 03:11:03 +0200 | huffman | remove redundant lemmas | file | diff | annotate |
| Thu, 10 May 2007 03:07:26 +0200 | huffman | lemmas iszero_(h)complex_number_of are no longer needed | file | diff | annotate |
| Wed, 09 May 2007 18:26:40 +0200 | huffman | remove redundant lemmas | file | diff | annotate |
| Wed, 09 May 2007 01:26:04 +0200 | huffman | hcomplex_of_hypreal abbreviates of_hypreal; removed redundant lemmas | file | diff | annotate |
| Tue, 08 May 2007 05:06:54 +0200 | huffman | remove redundant lemmas | file | diff | annotate |