| Wed, 06 Jun 2007 18:32:05 +0200 | huffman | clean up proofs of exp_zero, sin_zero, cos_zero | changeset | files |
| Wed, 06 Jun 2007 17:01:33 +0200 | huffman | generalize class constraints on some lemmas | changeset | files |
| Wed, 06 Jun 2007 17:00:09 +0200 | huffman | generalize of_nat and related constants to class semiring_1 | changeset | files |
| Wed, 06 Jun 2007 16:42:39 +0200 | huffman | declare complex_diff as simp rule | changeset | files |
| Wed, 06 Jun 2007 16:12:08 +0200 | chaieb | New Reflected Presburger added to HOL/ex | changeset | files |
| Tue, 05 Jun 2007 22:47:49 +0200 | wenzelm | Groebner Basis Examples. | changeset | files |
| Tue, 05 Jun 2007 22:46:59 +0200 | wenzelm | print_antiquotations: sort_strings; | changeset | files |
| Tue, 05 Jun 2007 22:46:58 +0200 | wenzelm | tuned document; | changeset | files |