src/Pure/term.ML
Thu, 17 Jan 2002 21:03:55 +0100 wenzelm added add_term_free_names (more precise/efficient than add_term_names);
Fri, 14 Dec 2001 11:53:31 +0100 wenzelm added invent_type_names;
Wed, 28 Nov 2001 00:39:33 +0100 wenzelm variant: preserve suffix of underscores (for skolem/internal names etc.);
Wed, 24 Oct 2001 17:38:19 +0200 wenzelm added lambda;
Tue, 23 Oct 2001 19:14:13 +0200 wenzelm replace_dummy_patterns: lift over bounds;
Thu, 31 May 2001 17:57:02 +0200 wenzelm invent_names
Sat, 06 Jan 2001 21:27:33 +0100 wenzelm added list_abs;
Wed, 13 Dec 2000 17:41:10 +0100 wenzelm fixed add_term_names: NameSpace.base;
Thu, 30 Nov 2000 20:05:54 +0100 wenzelm added is_replaced_dummy_pattern;
Tue, 29 Aug 2000 15:13:10 +0200 nipkow *** empty log message ***
Fri, 04 Aug 2000 22:59:33 +0200 wenzelm added dummy_patternN, no_dummy_patterns, replace_dummy_patterns;
Thu, 13 Jul 2000 23:15:20 +0200 wenzelm add_term_consts: ins_string;
Thu, 30 Mar 2000 14:20:01 +0200 wenzelm foldl_term_types: depend on term as well;
Fri, 10 Mar 2000 15:00:01 +0100 berghofe Added functions subst_TVars_Vartab and typ_subst_TVars_Vartab.
Wed, 29 Sep 1999 13:51:41 +0200 wenzelm added rems_sort;
Wed, 01 Sep 1999 21:05:19 +0200 wenzelm structure Termtab;
Mon, 23 Aug 1999 09:36:05 +0200 nipkow Corrected two busg in the simplifier.
Sat, 10 Jul 1999 21:41:05 +0200 wenzelm Symtab.lookup_multi;
Fri, 30 Apr 1999 18:02:16 +0200 wenzelm val foldl_map_aterms: ('a * term -> 'a * term) -> 'a * term -> 'a * term;
Fri, 18 Dec 1998 11:01:25 +0100 paulson moved dest_Type to term.ML from HOL/Tools/primrec_package
Sun, 29 Nov 1998 13:14:45 +0100 wenzelm added oct_char;
Tue, 29 Sep 1998 15:59:43 +0200 paulson new function inter_term
Mon, 09 Mar 1998 16:09:32 +0100 wenzelm tuned some names;
Wed, 18 Feb 1998 11:31:25 +0100 nipkow Improved loop-test for rewrite rules a little.
Thu, 12 Feb 1998 16:54:01 +0100 wenzelm tuned comments;
Fri, 06 Feb 1998 11:18:29 +0100 wenzelm added Vartab: TABLE;
Sun, 28 Dec 1997 15:24:11 +0100 wenzelm made MLWorks happy;
Sun, 28 Dec 1997 14:56:44 +0100 wenzelm renamed Symtab.null to Symtab.empty;
Wed, 24 Dec 1997 12:21:06 +0100 wenzelm export range_type;
Mon, 22 Dec 1997 12:22:06 +0100 paulson Added range-type for completeness
Fri, 19 Dec 1997 10:16:16 +0100 wenzelm term order;
Wed, 26 Nov 1997 16:37:17 +0100 wenzelm added foldl_atyps: ('a * typ -> 'a) -> 'a * typ -> 'a;
Fri, 07 Nov 1997 18:02:15 +0100 oheimb changed libraray function find to find_index_eq, currying it
Fri, 07 Nov 1997 15:24:58 +0100 oheimb added exists_Const
Sat, 01 Nov 1997 13:02:19 +0100 paulson New syntax function for types
Tue, 28 Oct 1997 17:29:48 +0100 wenzelm add_typ_classes, add_typ_tycons, add_term_classes, add_term_tycons,
Tue, 21 Oct 1997 17:47:50 +0200 wenzelm made Poly/ML happy, but SML/NJ unhappy;
Mon, 20 Oct 1997 17:08:18 +0200 wenzelm make SML/NJ happy;
Mon, 06 Oct 1997 18:29:43 +0200 wenzelm eliminated raise_term;
Wed, 16 Apr 1997 18:16:45 +0200 wenzelm tuned type of eq_ix, mem_ix;
Fri, 14 Mar 1997 10:35:30 +0100 nipkow Avoid eta-contraction in the simplifier.
Fri, 07 Mar 1997 10:24:26 +0100 paulson Improved indentation of aconv
Tue, 04 Feb 1997 10:33:58 +0100 paulson Gradual switching to Basis Library functions nth, drop, etc.
Mon, 18 Nov 1996 16:28:40 +0100 paulson Optimizations: removal of polymorphic equality; one-argument case
Wed, 13 Nov 1996 10:42:50 +0100 paulson Removal of polymorphic equality via mem, subset, eq_set, etc
Tue, 12 Nov 1996 11:40:41 +0100 paulson Changed some mem and ins calls to be monomorphic
Fri, 01 Nov 1996 15:32:03 +0100 paulson maxidx_of_typs replaces max o map maxidx_of_typ
Wed, 30 Oct 1996 11:19:09 +0100 paulson Changed some mem calls to mem_string for greater efficiency (not that it could matter)
Mon, 29 Jan 1996 14:16:13 +0100 clasohm inserted tabs again
Mon, 29 Jan 1996 13:56:41 +0100 clasohm removed tabs
Thu, 28 Dec 1995 12:36:05 +0100 paulson Updated comments for compression functions
Fri, 22 Dec 1995 10:48:59 +0100 paulson Addition of compression, that is, sharing.
Fri, 08 Dec 1995 10:25:26 +0100 paulson type_of1: improved error messages
Thu, 23 Nov 1995 12:18:16 +0100 clasohm files now define a structure to allow SML/NJ to optimize the code
Wed, 12 Apr 1995 13:53:34 +0200 nipkow term.ML: add_loose_bnos now returns a list w/o duplicates.
Mon, 13 Mar 1995 09:38:10 +0100 nipkow Changed treatment of during type inference internally generated type
Tue, 22 Nov 1994 23:30:49 +0100 lcp Pure/term: commented typ_subst_TVars, subst_TVars, subst_Vars, subst_vars
Wed, 18 May 1994 15:20:54 +0200 wenzelm added logicC: class, logicS: sort;
Thu, 21 Oct 1993 14:38:06 +0100 lcp Pure/term/fastype_of1: renamed from fastype_of
Fri, 08 Oct 1993 12:33:17 +0100 wenzelm added raise_type: string -> typ list -> term list -> 'a;
less more (0) tip