Fri, 26 Feb 2010 23:08:45 +0100 gen_dest_case: recovered @{const_name} from c8a6fae0ad0c, because of separate Syntax.mark_const in case_tr' -- avoid extra syntax markers in output;
wenzelm [Fri, 26 Feb 2010 23:08:45 +0100] rev 35392
gen_dest_case: recovered @{const_name} from c8a6fae0ad0c, because of separate Syntax.mark_const in case_tr' -- avoid extra syntax markers in output;
Fri, 26 Feb 2010 23:07:27 +0100 tuned;
wenzelm [Fri, 26 Feb 2010 23:07:27 +0100] rev 35391
tuned;
Fri, 26 Feb 2010 23:05:47 +0100 use simplified Syntax.escape;
wenzelm [Fri, 26 Feb 2010 23:05:47 +0100] rev 35390
use simplified Syntax.escape;
Fri, 26 Feb 2010 21:43:26 +0100 tuned hyp_subst_tac';
wenzelm [Fri, 26 Feb 2010 21:43:26 +0100] rev 35389
tuned hyp_subst_tac';
Fri, 26 Feb 2010 18:38:23 +0100 use SAT4J for "Tests_Nits.thy" for safety (this should solve the Isatest failures) + minor changes
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
Fri, 26 Feb 2010 16:50:09 +0100 merged
blanchet [Fri, 26 Feb 2010 16:50:09 +0100] rev 35387
merged
Fri, 26 Feb 2010 16:49:46 +0100 more work on the new monotonicity stuff in Nitpick
blanchet [Fri, 26 Feb 2010 16:49:46 +0100] rev 35386
more work on the new monotonicity stuff in Nitpick
Thu, 25 Feb 2010 16:33:39 +0100 improved precision of infinite "shallow" datatypes 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
Thu, 25 Feb 2010 10:08:44 +0100 cosmetics
blanchet [Thu, 25 Feb 2010 10:08:44 +0100] rev 35384
cosmetics
Fri, 26 Feb 2010 13:29:43 +0100 merged
bulwahn [Fri, 26 Feb 2010 13:29:43 +0100] rev 35383
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip