src/Pure/Proof/reconstruct.ML
Thu, 31 May 2007 23:47:36 +0200 wenzelm simplified/unified list fold;
Tue, 05 Dec 2006 00:30:38 +0100 wenzelm thm/prf: separate official name vs. additional tags;
Tue, 31 Oct 2006 09:29:06 +0100 haftmann fixed type signature of Type.varify
Thu, 21 Sep 2006 19:05:56 +0200 wenzelm member (op =);
Fri, 15 Sep 2006 22:56:13 +0200 wenzelm renamed Term.map_term_types to Term.map_types (cf. Term.fold_types);
Wed, 02 Aug 2006 22:27:06 +0200 wenzelm tuned;
Sun, 11 Jun 2006 21:59:17 +0200 wenzelm avoid unqualified exception;
Thu, 27 Apr 2006 15:06:35 +0200 wenzelm tuned basic list operators (flat, maps, map_filter);
Wed, 26 Apr 2006 22:38:05 +0200 wenzelm tuned;
Thu, 13 Apr 2006 12:00:56 +0200 wenzelm ignore sorts of consts declarations;
Tue, 21 Mar 2006 12:18:15 +0100 wenzelm avoid polymorphic equality;
Mon, 06 Feb 2006 20:58:54 +0100 wenzelm Envir.(beta_)eta_contract;
Wed, 16 Nov 2005 17:45:30 +0100 wenzelm tuned Pattern.match/unify;
Thu, 15 Sep 2005 17:16:56 +0200 wenzelm TableFun/Symtab: curried lookup and update;
Fri, 02 Sep 2005 15:54:47 +0200 haftmann some 'assoc' etc. refactoring
Thu, 01 Sep 2005 22:15:12 +0200 wenzelm curried_lookup/update;
Mon, 01 Aug 2005 19:20:37 +0200 wenzelm replaced atless by term_ord;
Thu, 28 Jul 2005 15:19:49 +0200 wenzelm Sign.typ_unify;
Tue, 19 Jul 2005 17:21:47 +0200 wenzelm Logic.incr_tvar;
Fri, 15 Jul 2005 15:44:17 +0200 wenzelm tuned;
Wed, 13 Jul 2005 11:16:34 +0200 haftmann (intermediate commit)
Thu, 21 Apr 2005 19:13:03 +0200 berghofe Adapted to new interface of instantiation and unification / matching functions.
Fri, 04 Mar 2005 15:07:34 +0100 skalberg Removed practically all references to Library.foldr.
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Sat, 05 Jun 2004 13:08:53 +0200 wenzelm pretty_thm/goals_aux, pretty_flexpair: pp;
Tue, 01 Jun 2004 12:33:50 +0200 wenzelm removed obsolete sort 'logic';
Wed, 27 Nov 2002 17:25:41 +0100 berghofe prop_of now returns proposition in beta-eta normal form.
Wed, 13 Nov 2002 15:36:36 +0100 berghofe Improved function decompose.
less more (0) -30 tip