isabelle: Changelog

krauss [Wed, 23 Feb 2011 11:16:56 +0100] rev 41823

eliminated remdps in favor of List.remdups

krauss [Wed, 23 Feb 2011 11:15:06 +0100] rev 41822

recdef -> fun

krauss [Wed, 23 Feb 2011 10:48:57 +0100] rev 41821

recdef -> fun

wenzelm [Tue, 22 Feb 2011 21:54:56 +0100] rev 41820

updated generated file;

wenzelm [Tue, 22 Feb 2011 19:44:15 +0100] rev 41819

scale parallel_proofs_threshold with max_threads_value to improve saturation of cores;

wenzelm [Tue, 22 Feb 2011 17:06:14 +0100] rev 41818

modernized specifications;

krauss [Tue, 22 Feb 2011 16:47:18 +0100] rev 41817

dropped obsolete FIXMEs

wenzelm [Mon, 21 Feb 2011 23:54:53 +0100] rev 41816

merged, resolving spurious conflicts and giving up Reflected_Multivariate_Polynomial.thy from ab5d2d81f9fb;

krauss [Mon, 21 Feb 2011 23:14:36 +0100] rev 41815

eliminated global prems

krauss [Mon, 21 Feb 2011 23:14:36 +0100] rev 41814

modernized specification; curried

isabelle