| Mon, 11 Dec 2006 21:39:28 +0100 | wenzelm | advanced translation functions: Proof.context; | file | diff | annotate |
| Sun, 10 Dec 2006 15:30:53 +0100 | wenzelm | abs/binder_tr': support printing of idtdummy; | file | diff | annotate |
| Sun, 26 Nov 2006 18:07:34 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 25 Jul 2006 21:18:09 +0200 | wenzelm | added variant_abs (from term.ML); | file | diff | annotate |
| Tue, 18 Jul 2006 20:01:41 +0200 | wenzelm | Term.declare_term_names; | file | diff | annotate |
| Tue, 11 Jul 2006 12:17:01 +0200 | wenzelm | Name.invent_list; | file | diff | annotate |
| Sun, 11 Jun 2006 21:59:28 +0200 | wenzelm | improved treatment of TERM TYPE syntax; | file | diff | annotate |
| Fri, 05 May 2006 21:59:45 +0200 | wenzelm | added syntax for _type_constraint_; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Wed, 26 Apr 2006 22:38:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:22 +0100 | wenzelm | mark_boundT: produce well-typed term; | file | diff | annotate |
| Thu, 23 Feb 2006 13:37:46 +0100 | wenzelm | make SML/NJ happy; | file | diff | annotate |
| Wed, 22 Feb 2006 22:18:42 +0100 | wenzelm | removed obsolete meta_conjunction_tr'; | file | diff | annotate |
| Fri, 10 Feb 2006 02:22:56 +0100 | wenzelm | moved fixedN to lexicon.ML; | file | diff | annotate |
| Mon, 06 Feb 2006 20:59:58 +0100 | wenzelm | added bound_vars; | file | diff | annotate |