src/Pure/term.ML
Fri, 25 Nov 2005 18:58:40 +0100 wenzelm added dummy_pattern;
Wed, 16 Nov 2005 17:45:29 +0100 wenzelm added betapplys;
Thu, 10 Nov 2005 20:57:19 +0100 wenzelm added find_free (from Isar/proof_context.ML);
Wed, 09 Nov 2005 16:26:46 +0100 wenzelm removed obsolete term set operations;
Sat, 15 Oct 2005 00:08:00 +0200 wenzelm tuned comments;
Fri, 07 Oct 2005 22:59:24 +0200 wenzelm added absdummy;
Fri, 07 Oct 2005 18:49:20 +0200 wenzelm added str_of_term (from HOL/Tools/ATP/recon_translate_proof.ML);
Tue, 04 Oct 2005 19:01:37 +0200 wenzelm minor tweaks for Poplog/ML;
Sun, 25 Sep 2005 23:36:14 +0200 wenzelm zero_var_inst: replace loose bounds :000 etc.;
Thu, 08 Sep 2005 16:09:23 +0200 haftmann introduces some modern-style AList operations
Tue, 06 Sep 2005 08:30:43 +0200 haftmann introduced some new-style AList operations
Mon, 01 Aug 2005 19:20:44 +0200 wenzelm removed atless (use term_ord instead);
Thu, 28 Jul 2005 15:20:00 +0200 wenzelm added add_tfreesT, add_tfrees;
Tue, 19 Jul 2005 17:21:54 +0200 wenzelm moved incr_tvar to logic.ML;
Fri, 15 Jul 2005 15:44:18 +0200 wenzelm replaced foldl_XXX by canonical fold_XXX;
Wed, 13 Jul 2005 14:56:00 +0200 wenzelm fixed comment-out;
Wed, 13 Jul 2005 11:30:37 +0200 haftmann (fix for an accidental commit)
Wed, 13 Jul 2005 11:16:34 +0200 haftmann (intermediate commit)
Wed, 06 Jul 2005 20:00:33 +0200 wenzelm tuned eq_ix;
Wed, 06 Jul 2005 10:41:44 +0200 wenzelm tuned maxidx_of_typ/typs/term;
Mon, 04 Jul 2005 17:07:12 +0200 wenzelm added fast_indexname_ord, fast_term_ord;
Fri, 01 Jul 2005 22:35:20 +0200 wenzelm tuned term_ord: less garbage;
Wed, 29 Jun 2005 15:13:29 +0200 wenzelm tuned sort_ord: pointer_eq;
Tue, 28 Jun 2005 15:28:30 +0200 paulson first-order check now allows quantifiers
Sat, 25 Jun 2005 16:07:55 +0200 nipkow Added term_lpo
Wed, 22 Jun 2005 19:41:23 +0200 wenzelm export sort_ord;
Thu, 09 Jun 2005 12:03:25 +0200 wenzelm map_typ and map_term no longer global;
Mon, 06 Jun 2005 10:21:53 +0200 wenzelm avoid polymorphic ins;
Sun, 29 May 2005 12:39:12 +0200 obua Implement cycle-free overloading, so that definitions cannot harm consistency any more (except of course via interaction with axioms).
Sun, 22 May 2005 19:26:15 +0200 wenzelm added show_dummy_patterns;
Tue, 17 May 2005 18:10:39 +0200 wenzelm renamed show_var_qmarks to show_question_marks;
Mon, 16 May 2005 08:28:16 +0200 kleing line wrap
Thu, 12 May 2005 10:48:46 +0200 paulson first-order now ignores "all"
Tue, 03 May 2005 02:44:10 +0200 dixon lucas - added dest_TVar and dest_TFree.
Thu, 21 Apr 2005 19:12:03 +0200 berghofe - Eliminated nodup_vars check.
Sat, 26 Mar 2005 16:14:17 +0100 gagern op vor infix-Konstruktoren im datatype binding zum besseren Parsen
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;
less more (0) -100 -60 tip