| Wed, 02 Jul 2008 07:11:57 +0200 | haftmann | cleaned up some code generator configuration | file | diff | annotate |
| Wed, 11 Jun 2008 15:41:08 +0200 | wenzelm | removed dead code; | file | diff | annotate |
| 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 |