2009-04-02 wenzelm [Thu, 02 Apr 2009 15:07:00 +0200] rev 30855
some more HOL-Nominal news;
NEWS

2009-04-02 wenzelm [Thu, 02 Apr 2009 14:49:58 +0200] rev 30854
merged

2009-04-02 wenzelm [Thu, 02 Apr 2009 14:49:50 +0200] rev 30853
tuned signature;
src/Pure/pure_thy.ML

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