isabelle: Changelog

wenzelm [Fri, 26 Feb 2010 23:07:27 +0100] rev 35391

tuned;

wenzelm [Fri, 26 Feb 2010 23:05:47 +0100] rev 35390

use simplified Syntax.escape;

wenzelm [Fri, 26 Feb 2010 21:43:26 +0100] rev 35389

tuned hyp_subst_tac';

blanchet [Fri, 26 Feb 2010 18:38:23 +0100] rev 35388

use SAT4J for "Tests_Nits.thy" for safety (this should solve the Isatest failures) + minor changes

blanchet [Fri, 26 Feb 2010 16:50:09 +0100] rev 35387

merged

blanchet [Fri, 26 Feb 2010 16:49:46 +0100] rev 35386

more work on the new monotonicity stuff in Nitpick

blanchet [Thu, 25 Feb 2010 16:33:39 +0100] rev 35385

improved precision of infinite "shallow" datatypes in Nitpick; e.g. strings used for variable names, instead of an opaque type

blanchet [Thu, 25 Feb 2010 10:08:44 +0100] rev 35384

cosmetics

bulwahn [Fri, 26 Feb 2010 13:29:43 +0100] rev 35383

merged

bulwahn [Fri, 26 Feb 2010 09:49:00 +0100] rev 35382

merged

isabelle