wenzelm [Mon, 13 Jan 2014 20:20:44 +0100] rev 56349
activation of Z3 via "z3_non_commercial" system option (without requiring restart);
wenzelm [Mon, 13 Jan 2014 18:47:48 +0100] rev 56348
tuned;
blanchet [Mon, 13 Jan 2014 14:11:02 +0100] rev 56347
use the right context in 'unfold_thms id_def'
blanchet [Mon, 13 Jan 2014 13:24:09 +0100] rev 56346
repaired 'ctr' tactic w.r.t. 'split'
nipkow [Mon, 13 Jan 2014 07:33:51 +0100] rev 56345
tuned
wenzelm [Sun, 12 Jan 2014 18:42:06 +0100] rev 56344
merged
wenzelm [Sun, 12 Jan 2014 18:40:49 +0100] rev 56343
NEWS;
wenzelm [Sun, 12 Jan 2014 18:34:00 +0100] rev 56342
proper context for clear_simpset: preserve dounds, depth;
dismantled obsolete debug_bounds/check_bounds;
wenzelm [Sun, 12 Jan 2014 16:42:02 +0100] rev 56341
clarified context;
wenzelm [Sun, 12 Jan 2014 14:32:22 +0100] rev 56340
tuned signature;
clarified context;