src/Tools/IsaPlanner/isand.ML
Thu, 27 Jun 2013 17:06:22 +0200 wenzelm tuned signature;
Thu, 30 May 2013 17:26:01 +0200 wenzelm tuned signature;
Thu, 30 May 2013 17:21:11 +0200 wenzelm tuned signature;
Thu, 30 May 2013 17:10:13 +0200 wenzelm misc tuning;
Thu, 30 May 2013 16:53:32 +0200 wenzelm more standard fold/fold_rev;
Wed, 12 Sep 2012 23:18:26 +0200 wenzelm observe context more carefully when producing "fresh" variables -- for increased chances that method "subst" works in local context (including that of forked proofs);
Wed, 12 Sep 2012 22:00:29 +0200 wenzelm eliminated some old material that is unused in the visible universe;
Sat, 03 Mar 2012 22:11:51 +0100 wenzelm tuned;
Sat, 14 Jan 2012 19:06:05 +0100 wenzelm renamed Term.all to Logic.all_const, in accordance to HOLogic.all_const;
Wed, 10 Aug 2011 20:53:43 +0200 wenzelm old term operations are legacy;
Thu, 09 Jun 2011 16:34:49 +0200 wenzelm discontinued Name.variant to emphasize that this is old-style / indirect;
Sat, 20 Mar 2010 17:33:11 +0100 wenzelm renamed varify/unvarify operations to varify_global/unvarify_global to emphasize that these only work in a global situation;
Mon, 06 Jul 2009 21:24:30 +0200 wenzelm structure Thm: less pervasive names;
Sun, 01 Mar 2009 23:36:12 +0100 wenzelm use long names for old-style fold combinators;
Wed, 31 Dec 2008 18:53:16 +0100 wenzelm moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
Wed, 31 Dec 2008 00:08:13 +0100 wenzelm moved old add_term_vars, add_term_frees etc. to structure OldTerm;
Tue, 15 Apr 2008 16:12:05 +0200 wenzelm Thm.forall_elim_var(s);
Thu, 31 May 2007 21:09:14 +0200 wenzelm tuned headers -- adapted to usual conventions;
Thu, 31 May 2007 20:55:29 +0200 wenzelm moved IsaPlanner from Provers to Tools;
less more (0) tip