src/Pure/unify.ML
Thu, 21 Sep 2006 19:04:20 +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);
Tue, 11 Jul 2006 23:00:35 +0200 wenzelm removed obsolete xless;
Tue, 11 Jul 2006 12:17:08 +0200 wenzelm removed obsolete mem_ix;
Thu, 06 Jul 2006 11:26:46 +0200 wenzelm matchers: fall back on plain first_order_matchers, not pattern;
Mon, 19 Jun 2006 17:19:04 +0200 wenzelm matchers: try pattern_matchers only *after* general matching (The
Tue, 13 Jun 2006 23:41:39 +0200 wenzelm tuned;
Mon, 12 Jun 2006 21:19:06 +0200 wenzelm tuned;
Mon, 12 Jun 2006 21:19:04 +0200 wenzelm added matchers, matches_list;
Wed, 26 Apr 2006 22:38:05 +0200 wenzelm tuned;
Mon, 06 Feb 2006 20:59:42 +0100 wenzelm moved combound, rlist_abs to logic.ML;
Wed, 16 Nov 2005 17:45:30 +0100 wenzelm tuned Pattern.match/unify;
Tue, 13 Sep 2005 22:19:28 +0200 wenzelm Seq.maps;
Thu, 28 Jul 2005 15:19:49 +0200 wenzelm Sign.typ_unify;
Fri, 01 Jul 2005 22:29:19 +0200 wenzelm back to 1.28;
Thu, 30 Jun 2005 19:49:41 +0200 wenzelm revert to 1.27 due to obscure performance issues (!??);
Wed, 29 Jun 2005 15:13:32 +0200 wenzelm pass thy as explicit argument (the old ref was not safe
Fri, 17 Jun 2005 18:33:08 +0200 wenzelm accomodate identification of type Sign.sg and theory;
Thu, 21 Apr 2005 19:12:03 +0200 berghofe - Eliminated nodup_vars check.
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.
Thu, 11 Nov 2004 10:26:40 +0100 paulson increased tracing and search bounds
Thu, 22 Apr 2004 10:52:32 +0200 wenzelm tuned;
Tue, 18 Dec 2001 02:17:20 +0100 wenzelm tuned Type.unify;
Wed, 21 Nov 2001 00:36:51 +0100 wenzelm use tracing function for trace output;
Mon, 19 Nov 2001 17:32:49 +0100 berghofe Moved head_norm and fastype from unify.ML to envir.ML
Fri, 10 Mar 2000 14:57:06 +0100 berghofe Type.unify and Type.typ_match now use Vartab instead of association lists.
Fri, 19 Dec 1997 09:58:03 +0100 wenzelm adapted to new sort function;
Thu, 27 Nov 1997 19:36:31 +0100 wenzelm fixed warning;
Fri, 21 Nov 1997 15:27:43 +0100 wenzelm changed Sequence interface (now Seq, in seq.ML);
Fri, 24 Oct 1997 17:13:21 +0200 wenzelm ProtoPure.thy;
Fri, 07 Mar 1997 10:26:02 +0100 paulson Removed some polymorphic equality tests
Mon, 18 Nov 1996 16:30:06 +0100 paulson Changed subst_bounds to subst_bound, to run faster
Tue, 12 Nov 1996 11:57:10 +0100 paulson Changed some mem calls to be monomorphic
Wed, 30 Oct 1996 11:21:24 +0100 paulson Changed some mem calls to mem_int for greater efficiency (not that it could matter)
Fri, 16 Feb 1996 13:55:29 +0100 paulson Elimination of fully-functorial style.
Mon, 29 Jan 1996 14:16:13 +0100 clasohm inserted tabs again
Mon, 29 Jan 1996 13:56:41 +0100 clasohm removed tabs
Thu, 11 Jan 1996 10:29:31 +0100 nipkow Removed bug in type unification. Negative indexes are not used any longer.
Fri, 03 Mar 1995 11:48:05 +0100 clasohm added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
Fri, 21 Oct 1994 09:53:38 +0100 lcp Pure/Unify/IMPROVING "CLEANING" OF FLEX-FLEX PAIRS: Old code would refuse
Wed, 19 Oct 1994 09:48:13 +0100 lcp new comments explaining abandoned change
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip