| 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 |