src/Sequents/LK.thy
Sun, 06 Jan 2019 15:04:34 +0100 wenzelm isabelle update -u path_cartouches;
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Wed, 20 Jul 2016 20:24:21 +0200 wenzelm tuned;
Sat, 10 Oct 2015 20:54:44 +0200 wenzelm more symbols;
Sat, 10 Oct 2015 20:51:39 +0200 wenzelm more symbols;
Thu, 23 Jul 2015 14:25:05 +0200 wenzelm isabelle update_cartouches;
Sat, 18 Jul 2015 20:54:56 +0200 wenzelm prefer tactics with explicit context;
Tue, 10 Feb 2015 14:48:26 +0100 wenzelm proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
Sat, 01 Feb 2014 18:22:38 +0100 wenzelm method_setup "lem";
Sat, 01 Feb 2014 18:05:03 +0100 wenzelm proper Simplifier method setup;
Sat, 01 Feb 2014 17:56:03 +0100 wenzelm misc tuning and modernization;
Thu, 18 Apr 2013 17:07:01 +0200 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
Sun, 20 Nov 2011 20:15:02 +0100 wenzelm eliminated obsolete "standard";
Fri, 13 May 2011 23:58:40 +0200 wenzelm clarified map_simpset versus Simplifier.map_simpset_global;
less more (0) -15 tip