2009-04-02 wenzelm [Thu, 02 Apr 2009 14:30:16 +0200] rev 30852
misc tuning for release;
Admin/CHECKLIST INSTALL README doc/Contents

2009-04-02 berghofe [Thu, 02 Apr 2009 14:39:29 +0200] rev 30851
merged

2009-04-02 berghofe [Thu, 02 Apr 2009 14:39:10 +0200] rev 30850
Fixed bug in transformation of congruence rule for ==
(thanks to Andy Schropp for reporting this).
src/HOL/Tools/rewrite_hol_proof.ML

2009-04-02 wenzelm [Thu, 02 Apr 2009 14:09:41 +0200] rev 30849
some HOL-Nominal news;
NEWS

2009-04-02 wenzelm [Thu, 02 Apr 2009 14:02:45 +0200] rev 30848
updates for Isabelle2009 release;
ANNOUNCE

2009-04-02 wenzelm [Thu, 02 Apr 2009 14:02:34 +0200] rev 30847
tuned;
NEWS

2009-04-02 wenzelm [Thu, 02 Apr 2009 13:41:31 +0200] rev 30846
merged

2009-04-02 wenzelm [Thu, 02 Apr 2009 13:41:02 +0200] rev 30845
misc cleanup and rearrangements for Isabelle2009 release;
NEWS

2009-04-01 nipkow [Wed, 01 Apr 2009 22:29:27 +0200] rev 30844
merged
src/HOL/Finite_Set.thy

2009-04-01 nipkow [Wed, 01 Apr 2009 22:29:10 +0200] rev 30843
cleaned up setprod_zero-related lemmas
src/HOL/Finite_Set.thy src/HOL/Int.thy src/HOL/Library/Binomial.thy src/HOL/Library/Determinants.thy