| Thu, 10 May 2007 10:21:46 +0200 | haftmann | localized Min/Max | changeset | files |
| Thu, 10 May 2007 10:21:44 +0200 | haftmann | tuned | changeset | files |
| Thu, 10 May 2007 04:06:56 +0200 | huffman | fix proofs | changeset | files |
| Thu, 10 May 2007 03:11:03 +0200 | huffman | remove redundant lemmas | changeset | files |
| Thu, 10 May 2007 03:07:26 +0200 | huffman | lemmas iszero_(h)complex_number_of are no longer needed | changeset | files |
| Thu, 10 May 2007 03:00:15 +0200 | huffman | instance real_algebra_1 < ring_char_0 | changeset | files |
| Thu, 10 May 2007 02:51:53 +0200 | huffman | new axclass ring_char_0 for rings with characteristic 0, used for of_int_eq_iff and related lemmas | changeset | files |