isabelle: Changelog

blanchet [Fri, 13 May 2011 10:10:43 +0200] rev 42781

optimized a common case

blanchet [Fri, 13 May 2011 10:10:43 +0200] rev 42780

avoid "UnequalLengths" exception for special constant "fequal" -- and optimize code in the common case where no type arguments are needed

blanchet [Fri, 13 May 2011 10:10:43 +0200] rev 42779

tweak E slices

blanchet [Fri, 13 May 2011 10:10:43 +0200] rev 42778

make SML/NJ happy

blanchet [Fri, 13 May 2011 10:10:43 +0200] rev 42777

fixed off-by-one bug

blanchet [Fri, 13 May 2011 10:10:43 +0200] rev 42776

added convenience syntax

wenzelm [Thu, 12 May 2011 23:23:48 +0200] rev 42775

prefer Proof.context over old-style claset/simpset; canonical argument order;

wenzelm [Thu, 12 May 2011 22:46:21 +0200] rev 42774

prefer plain simpset operations;

wenzelm [Thu, 12 May 2011 22:37:31 +0200] rev 42773

removed obsolete old-style cs/css;

wenzelm [Thu, 12 May 2011 22:35:15 +0200] rev 42772

modernized dead code;

isabelle