| Tue, 17 Apr 2007 00:33:49 +0200 | huffman | lemma geometric_sum no longer needs class division_by_zero | changeset | files |
| Tue, 17 Apr 2007 00:30:44 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 16 Apr 2007 16:11:03 +0200 | haftmann | canonical merge operations | changeset | files |
| Mon, 16 Apr 2007 12:16:11 +0200 | wenzelm | added print_indexname; | changeset | files |
| Mon, 16 Apr 2007 07:32:23 +0200 | urbanc | improved the equivariance lemmas for the quantifiers; had to export the lemma eqvt_force_add and eqvt_force_del in the thmdecls | changeset | files |
| Mon, 16 Apr 2007 06:45:22 +0200 | urbanc | added a more usuable lemma for dealing with fresh_fun | changeset | files |