src/HOL/Bali/AxExample.thy
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Thu, 11 Jan 2018 13:48:17 +0100 wenzelm uniform use of Standard ML op-infix -- eliminated warnings;
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Tue, 23 Feb 2016 16:25:08 +0100 nipkow more canonical names
Sat, 02 Jan 2016 18:48:45 +0100 wenzelm isabelle update_cartouches -c -t;
Sat, 18 Jul 2015 20:54:56 +0200 wenzelm prefer tactics with explicit context;
Wed, 25 Mar 2015 10:44:57 +0100 wenzelm prefer local fixes;
Fri, 20 Mar 2015 11:53:22 +0100 wenzelm tuned;
Fri, 20 Mar 2015 11:48:34 +0100 wenzelm tuned signature;
Thu, 19 Mar 2015 22:30:57 +0100 wenzelm more position information;
Tue, 10 Feb 2015 14:48:26 +0100 wenzelm proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
Sun, 02 Nov 2014 18:16:19 +0100 wenzelm modernized header;
Sun, 26 Jan 2014 13:45:40 +0100 wenzelm tuned signature;
Sat, 25 Jan 2014 22:06:07 +0100 wenzelm explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac;
Thu, 18 Apr 2013 17:07:01 +0200 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
Sun, 15 Jul 2012 17:27:19 +0200 wenzelm back to naive insertion sort before 1997 to accommodate peculiar less_arg relation -- NB: make_ord arg_less was not a quasi-order and thus inappropriate for generic sort (cf. de74b549f976, ecfeff48bf0c);
Mon, 12 Sep 2011 07:55:43 +0200 nipkow new fastforce replacing fastsimp - less confusing name
Mon, 26 Jul 2010 17:41:26 +0200 wenzelm modernized/unified some specifications;
Wed, 26 May 2010 16:28:55 +0200 haftmann dropped legacy theorem bindings
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Wed, 10 Feb 2010 00:45:16 +0100 wenzelm modernized syntax translations, using mostly abbreviation/notation;
Fri, 27 Nov 2009 08:42:50 +0100 haftmann Inl and Inr now with authentic syntax
Tue, 30 Dec 2008 21:46:48 +0100 wenzelm canonical Term.add_var_names;
Mon, 16 Jun 2008 22:13:46 +0200 wenzelm inst1_tac: proper context;
Wed, 07 May 2008 10:59:20 +0200 berghofe Locally deleted some definitions that were applied too eagerly because
Wed, 19 Mar 2008 22:50:42 +0100 wenzelm more antiquotations;
Tue, 25 Jul 2006 21:18:01 +0200 wenzelm tuned ML code;
Wed, 14 Sep 2005 10:13:12 +0200 haftmann introduces AList.lookup
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Tue, 31 May 2005 11:53:12 +0200 wenzelm tuned;
less more (0) -30 tip