| Wed, 10 Dec 2008 12:17:02 +0000 | paulson | Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle | changeset | files |
| Fri, 05 Dec 2008 15:52:12 +0000 | paulson | Updated comments. | changeset | files |
| Thu, 29 Jan 2009 09:35:51 +0000 | chaieb | dded theorems setsum_reindex_nonzero, setsum_mono_zero_left, setsum_mono_zero_right, setsum_mono_zero_cong_left, setsum_mono_zero_cong_right, setsum_delta, strong_setprod_reindex_cong, setprod_delta | changeset | files |
| Wed, 28 Jan 2009 13:23:59 +0000 | chaieb | Added theorems setsum_reindex_nonzero, setsum_mono_zero_left, setsum_mono_zero_right, setsum_mono_zero_cong_left, setsum_mono_zero_cong_right, setsum_delta, strong_setprod_reindex_cong, setprod_delta | changeset | files |
| Thu, 29 Jan 2009 10:08:25 +0100 | nipkow | merged | changeset | files |
| Thu, 29 Jan 2009 10:07:43 +0100 | nipkow | commented out unused lemmas. May need to be put back by Brian. | changeset | files |