isabelle: Changelog

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

bulwahn [Thu, 25 Feb 2010 15:36:38 +0100] rev 35381

adding no_topmost_reordering as new option to the code_pred command

bulwahn [Thu, 25 Feb 2010 14:01:34 +0100] rev 35380

adopting Mutabelle to quickcheck reporting; improving quickcheck reporting

isabelle