src/Pure/term.ML
Wed, 01 Dec 2010 15:03:44 +0100 wenzelm more direct use of binder_types/body_type;
Wed, 01 Dec 2010 13:37:31 +0100 wenzelm tuned;
Wed, 01 Dec 2010 13:09:08 +0100 wenzelm just one Term.dest_funT;
Mon, 13 Sep 2010 00:10:29 +0200 wenzelm tuned;
Thu, 02 Sep 2010 00:48:07 +0200 wenzelm turned show_question_marks into proper configuration option;
Sat, 27 Mar 2010 15:47:57 +0100 wenzelm added Term.fold_atyps_sorts convenience;
Fri, 19 Feb 2010 11:06:22 +0100 haftmann added dest_comb
Thu, 28 Jan 2010 22:39:48 +0100 wenzelm tuned signature;
Sun, 15 Nov 2009 15:14:28 +0100 wenzelm tuned;
Mon, 09 Nov 2009 20:47:39 +0100 wenzelm locale_const/target_notation: uniform use of Term.aconv_untyped;
Thu, 22 Oct 2009 13:48:06 +0200 haftmann map_range (and map_index) combinator
Wed, 30 Sep 2009 22:20:58 +0200 wenzelm eliminated redundant bindings;
Tue, 29 Sep 2009 11:49:22 +0200 wenzelm explicit indication of Unsynchronized.ref;
Sun, 26 Jul 2009 13:12:53 +0200 wenzelm lambda/cabs/all: named variants;
Thu, 16 Jul 2009 21:00:09 +0200 wenzelm use structure Same;
Sun, 08 Mar 2009 17:26:14 +0100 wenzelm moved basic algebra of long names from structure NameSpace to Long_Name;
Thu, 05 Mar 2009 17:09:07 +0100 wenzelm close_schematic_term: uniform order of types/terms;
Thu, 05 Mar 2009 12:08:00 +0100 wenzelm renamed NameSpace.base to NameSpace.base_name;
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
Fri, 27 Feb 2009 16:38:52 +0100 wenzelm eliminated NJ's List.nth;
Fri, 27 Feb 2009 16:18:02 +0100 wenzelm tuned/unified size_of_term and size_of_typ, eliminated obsolete foldl;
Fri, 13 Feb 2009 07:53:38 +1100 kleing New command find_consts searching for constants by type (by Timothy Bourke).
Thu, 01 Jan 2009 14:23:38 +0100 wenzelm added canonical add_const_names, add_consts;
Wed, 31 Dec 2008 19:56:38 +0100 wenzelm updated header;
Wed, 31 Dec 2008 19:54:04 +0100 wenzelm added declare_term_frees;
Wed, 31 Dec 2008 18:53:16 +0100 wenzelm moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
Wed, 31 Dec 2008 15:30:10 +0100 wenzelm moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);
Wed, 31 Dec 2008 00:08:13 +0100 wenzelm moved old add_term_vars, add_term_frees etc. to structure OldTerm;
Tue, 30 Dec 2008 21:46:14 +0100 wenzelm provide canonical add_tvar_namesT, add_tvar_names, add_tfree_namesT, add_tfree_names, add_free_names;
Tue, 30 Dec 2008 20:53:21 +0100 wenzelm removed unused head_name_of;
Mon, 23 Jun 2008 23:45:48 +0200 wenzelm moved implies to logic.ML;
Tue, 16 Oct 2007 17:06:13 +0200 wenzelm tuned hidden_polymorphism;
Thu, 11 Oct 2007 19:10:24 +0200 wenzelm replaced Term.equiv_types by Type.similar_types;
Thu, 04 Oct 2007 20:29:42 +0200 wenzelm Name.uu, Name.aT;
Sat, 29 Sep 2007 21:39:47 +0200 wenzelm added declare_typ_names;
Wed, 26 Sep 2007 22:20:59 +0200 wenzelm added free_dummy_patterns;
Fri, 21 Sep 2007 22:51:12 +0200 wenzelm added has_abs (from envir.ML);
Thu, 30 Aug 2007 15:04:41 +0200 wenzelm added burrow_types;
Thu, 31 May 2007 23:47:36 +0200 wenzelm simplified/unified list fold;
Thu, 10 May 2007 00:39:54 +0200 wenzelm tuned argument_type_of;
Tue, 17 Apr 2007 21:06:59 +0200 wenzelm export is_dummy_pattern;
Thu, 12 Apr 2007 23:06:25 +0200 wenzelm absdummy: use internal name uu to avoid renaming of popular names;
Tue, 03 Apr 2007 19:24:18 +0200 wenzelm signature: eqtype to accomodate Alice;
Tue, 09 Jan 2007 08:31:46 +0100 haftmann added map_abs_vars
Tue, 02 Jan 2007 22:43:04 +0100 wenzelm Term.lambda: abstract over arbitrary closed terms;
Tue, 12 Dec 2006 20:49:24 +0100 wenzelm added equiv_types;
Sun, 10 Dec 2006 15:30:40 +0100 wenzelm tuned absdummy;
Wed, 06 Dec 2006 21:18:59 +0100 wenzelm added hidden_polymorphism (from variable.ML);
Thu, 23 Nov 2006 20:33:29 +0100 wenzelm added head_name_of;
Tue, 14 Nov 2006 00:15:43 +0100 wenzelm added dummyS;
Fri, 13 Oct 2006 16:52:48 +0200 haftmann fixed bug
Wed, 04 Oct 2006 14:17:38 +0200 haftmann insert replacing ins ins_int ins_string
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);
Wed, 13 Sep 2006 21:41:31 +0200 wenzelm added exists_type;
Tue, 12 Sep 2006 12:12:55 +0200 wenzelm removed obsolete aconvs (use eq_list aconv);
Thu, 03 Aug 2006 17:30:39 +0200 wenzelm removed obsolete add_term_tvarnames;
Thu, 27 Jul 2006 23:28:23 +0200 wenzelm declare_term_names: cover types as well;
Tue, 25 Jul 2006 21:18:06 +0200 wenzelm is_funtype: do not export internal operation;
less more (0) -100 -60 tip