src/Pure/term.ML
Thu, 17 Mar 2005 12:19:50 +0100 nipkow added string_of_term
Thu, 10 Mar 2005 17:48:36 +0100 ballarin Registrations of global locale interpretations: improved, better naming.
Fri, 04 Mar 2005 15:07:34 +0100 skalberg Removed practically all references to Library.foldr.
Fri, 04 Mar 2005 11:44:26 +0100 paulson new first_order test
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, 27 Jan 2005 12:34:09 +0100 berghofe Added show_var_qmarks flag.
Thu, 08 Jul 2004 19:34:10 +0200 wenzelm added add_term_varnames, term_varnames;
Tue, 01 Jun 2004 12:33:50 +0200 wenzelm removed obsolete sort 'logic';
Sat, 29 May 2004 15:05:02 +0200 wenzelm moved read_int etc. to library.ML; added type 'arity';
Fri, 21 May 2004 21:23:37 +0200 wenzelm moved some sort ops to sorts.ML; added string_of_vname (from Syntax module);
Sat, 01 May 2004 22:08:57 +0200 wenzelm improved Term.invent_names;
Mon, 26 Apr 2004 14:58:03 +0200 wenzelm variant: use Symbol.bump_init;
Fri, 19 Mar 2004 10:42:38 +0100 paulson Removing the datatype declaration of "order" allows the standard General.order
Mon, 21 Oct 2002 17:14:19 +0200 berghofe - removed flexpair
Mon, 14 Oct 2002 10:44:32 +0200 nipkow Ported find_intro/elim to Isar.
Thu, 08 Aug 2002 23:49:44 +0200 wenzelm adhoc_freeze_vars;
Fri, 01 Mar 2002 22:30:01 +0100 wenzelm structure Typtab;
Thu, 28 Feb 2002 19:23:33 +0100 wenzelm added match_bvars, rename_abs (from thm.ML);
Wed, 20 Feb 2002 00:53:53 +0100 wenzelm Symbol.bump_string;
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;
less more (0) -60 tip