isabelle: Changelog

berghofe [Fri, 03 Apr 2009 10:08:47 +0200] rev 30860

Added check whether argument types of inductive set agree with types of declared parameters to avoid low-level error messages.

nipkow [Fri, 03 Apr 2009 09:27:31 +0200] rev 30859

added setsum_eq_1_iff

wenzelm [Thu, 02 Apr 2009 22:03:04 +0200] rev 30858

simplified website/config;

nipkow [Thu, 02 Apr 2009 16:18:19 +0200] rev 30857

Updated to corrected E output messages

wenzelm [Thu, 02 Apr 2009 15:08:38 +0200] rev 30856

updated keywords (with polyml-experimental);

wenzelm [Thu, 02 Apr 2009 15:07:00 +0200] rev 30855

some more HOL-Nominal news;

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

merged

wenzelm [Thu, 02 Apr 2009 14:49:50 +0200] rev 30853

tuned signature;

wenzelm [Thu, 02 Apr 2009 14:30:16 +0200] rev 30852

misc tuning for release;

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

merged

isabelle