isabelle: Changelog

wenzelm [Thu, 09 Nov 2006 11:58:51 +0100] rev 21265

HOL: less/less_eq on bool, modified syntax;

wenzelm [Thu, 09 Nov 2006 11:58:50 +0100] rev 21264

removed obsolete locale_results;

wenzelm [Thu, 09 Nov 2006 11:58:49 +0100] rev 21263

tuned;

wenzelm [Thu, 09 Nov 2006 11:58:47 +0100] rev 21262

imports Binimial;

wenzelm [Thu, 09 Nov 2006 11:58:45 +0100] rev 21261

updated;

wenzelm [Thu, 09 Nov 2006 11:58:43 +0100] rev 21260

lfp_induct_set;

wenzelm [Thu, 09 Nov 2006 11:58:13 +0100] rev 21259

modified less/less_eq syntax to avoid "x < y < z" etc.;

huffman [Thu, 09 Nov 2006 00:43:12 +0100] rev 21258

added lemma mult_mono'

huffman [Thu, 09 Nov 2006 00:19:16 +0100] rev 21257

added LIM_norm and related lemmas

wenzelm [Wed, 08 Nov 2006 23:11:13 +0100] rev 21256

moved theories Parity, GCD, Binomial to Library;

isabelle