Mon, 15 Dec 2008 10:40:52 +0000 Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
paulson [Mon, 15 Dec 2008 10:40:52 +0000] rev 29680
Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
Thu, 11 Dec 2008 14:50:02 +0000 Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
paulson [Thu, 11 Dec 2008 14:50:02 +0000] rev 29679
Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
Wed, 10 Dec 2008 15:38:00 +0000 Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
paulson [Wed, 10 Dec 2008 15:38:00 +0000] rev 29678
Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
Wed, 10 Dec 2008 12:17:02 +0000 Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
paulson [Wed, 10 Dec 2008 12:17:02 +0000] rev 29677
Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
Fri, 05 Dec 2008 15:52:12 +0000 Updated comments.
paulson [Fri, 05 Dec 2008 15:52:12 +0000] rev 29676
Updated comments.
Thu, 29 Jan 2009 09:35:51 +0000 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
chaieb [Thu, 29 Jan 2009 09:35:51 +0000] rev 29675
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
Wed, 28 Jan 2009 13:23:59 +0000 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
chaieb [Wed, 28 Jan 2009 13:23:59 +0000] rev 29674
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
Thu, 29 Jan 2009 10:08:25 +0100 merged
nipkow [Thu, 29 Jan 2009 10:08:25 +0100] rev 29673
merged
Thu, 29 Jan 2009 10:07:43 +0100 commented out unused lemmas. May need to be put back by Brian.
nipkow [Thu, 29 Jan 2009 10:07:43 +0100] rev 29672
commented out unused lemmas. May need to be put back by Brian.
Wed, 28 Jan 2009 21:49:25 +0100 -
nipkow [Wed, 28 Jan 2009 21:49:25 +0100] rev 29671
-
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip