| Sat, 11 Feb 2006 17:17:49 +0100 | wenzelm | added variant_name; | file | diff | annotate |
| Fri, 10 Feb 2006 02:22:35 +0100 | wenzelm | removed obsolete add_typ/term_classes/tycons; | file | diff | annotate |
| Wed, 08 Feb 2006 17:15:28 +0100 | wenzelm | map_type_tvar/tfree: map_atyps; | file | diff | annotate |
| Wed, 08 Feb 2006 09:27:20 +0100 | haftmann | fixed the most silly bug conceivable in map_atyps | file | diff | annotate |
| Tue, 07 Feb 2006 19:57:00 +0100 | wenzelm | lambda: base name of Const; | file | diff | annotate |
| Mon, 06 Feb 2006 20:59:09 +0100 | wenzelm | lambda: abstract over any const; | file | diff | annotate |
| Mon, 06 Feb 2006 11:00:24 +0100 | haftmann | added strip_abs | file | diff | annotate |
| Thu, 02 Feb 2006 12:52:18 +0100 | wenzelm | moved specific map_typ/term to sign.ML; | file | diff | annotate |
| Tue, 31 Jan 2006 18:19:26 +0100 | wenzelm | lambda: abstract over TYPE argument, too; | file | diff | annotate |
| Mon, 30 Jan 2006 08:17:04 +0100 | haftmann | added map_atype, map_aterms | file | diff | annotate |
| Fri, 25 Nov 2005 18:58:40 +0100 | wenzelm | added dummy_pattern; | file | diff | annotate |
| Wed, 16 Nov 2005 17:45:29 +0100 | wenzelm | added betapplys; | file | diff | annotate |
| Thu, 10 Nov 2005 20:57:19 +0100 | wenzelm | added find_free (from Isar/proof_context.ML); | file | diff | annotate |
| Wed, 09 Nov 2005 16:26:46 +0100 | wenzelm | removed obsolete term set operations; | file | diff | annotate |
| Sat, 15 Oct 2005 00:08:00 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 07 Oct 2005 22:59:24 +0200 | wenzelm | added absdummy; | file | diff | annotate |
| Fri, 07 Oct 2005 18:49:20 +0200 | wenzelm | added str_of_term (from HOL/Tools/ATP/recon_translate_proof.ML); | file | diff | annotate |
| Tue, 04 Oct 2005 19:01:37 +0200 | wenzelm | minor tweaks for Poplog/ML; | file | diff | annotate |
| Sun, 25 Sep 2005 23:36:14 +0200 | wenzelm | zero_var_inst: replace loose bounds :000 etc.; | file | diff | annotate |
| Thu, 08 Sep 2005 16:09:23 +0200 | haftmann | introduces some modern-style AList operations | file | diff | annotate |
| Tue, 06 Sep 2005 08:30:43 +0200 | haftmann | introduced some new-style AList operations | file | diff | annotate |
| Mon, 01 Aug 2005 19:20:44 +0200 | wenzelm | removed atless (use term_ord instead); | file | diff | annotate |
| Thu, 28 Jul 2005 15:20:00 +0200 | wenzelm | added add_tfreesT, add_tfrees; | file | diff | annotate |
| Tue, 19 Jul 2005 17:21:54 +0200 | wenzelm | moved incr_tvar to logic.ML; | file | diff | annotate |
| Fri, 15 Jul 2005 15:44:18 +0200 | wenzelm | replaced foldl_XXX by canonical fold_XXX; | file | diff | annotate |
| Wed, 13 Jul 2005 14:56:00 +0200 | wenzelm | fixed comment-out; | file | diff | annotate |
| Wed, 13 Jul 2005 11:30:37 +0200 | haftmann | (fix for an accidental commit) | file | diff | annotate |
| Wed, 13 Jul 2005 11:16:34 +0200 | haftmann | (intermediate commit) | file | diff | annotate |
| Wed, 06 Jul 2005 20:00:33 +0200 | wenzelm | tuned eq_ix; | file | diff | annotate |
| Wed, 06 Jul 2005 10:41:44 +0200 | wenzelm | tuned maxidx_of_typ/typs/term; | file | diff | annotate |