paulson [Thu, 29 Jan 2009 12:05:19 +0000] rev 29684
Minor reorganisation of the Skolemization code
paulson [Tue, 13 Jan 2009 16:47:24 +0000] rev 29683
Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
paulson [Fri, 09 Jan 2009 15:54:41 +0000] rev 29682
Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
paulson [Fri, 19 Dec 2008 11:49:08 +0000] rev 29681
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
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
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
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
paulson [Fri, 05 Dec 2008 15:52:12 +0000] rev 29676
Updated comments.
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