isabelle: Changelog

wenzelm [Mon, 13 Jan 2014 20:20:44 +0100] rev 55007

activation of Z3 via "z3_non_commercial" system option (without requiring restart);

wenzelm [Mon, 13 Jan 2014 18:47:48 +0100] rev 55006

tuned;

blanchet [Mon, 13 Jan 2014 14:11:02 +0100] rev 55005

use the right context in 'unfold_thms id_def'

blanchet [Mon, 13 Jan 2014 13:24:09 +0100] rev 55004

repaired 'ctr' tactic w.r.t. 'split'

nipkow [Mon, 13 Jan 2014 07:33:51 +0100] rev 55003

tuned

wenzelm [Sun, 12 Jan 2014 18:42:06 +0100] rev 55002

merged

wenzelm [Sun, 12 Jan 2014 18:40:49 +0100] rev 55001

NEWS;

wenzelm [Sun, 12 Jan 2014 18:34:00 +0100] rev 55000

proper context for clear_simpset: preserve dounds, depth; dismantled obsolete debug_bounds/check_bounds;

wenzelm [Sun, 12 Jan 2014 16:42:02 +0100] rev 54999

clarified context;

wenzelm [Sun, 12 Jan 2014 14:32:22 +0100] rev 54998

tuned signature; clarified context;

isabelle