src/Pure/term.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;
less more (0) -100 -50 -30 tip