| 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 |
| Tue, 31 Jan 2006 00:39:40 +0100 | wenzelm | advanced translations: Context.generic; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Thu, 22 Dec 2005 00:29:10 +0100 | wenzelm | prop_tr': proper handling of aprop marked as bound; | file | diff | annotate |
| Fri, 02 Dec 2005 22:54:52 +0100 | wenzelm | asts_to_terms: builtin free_fixed translation makes local binders work properly; | file | diff | annotate |
| Sat, 19 Nov 2005 14:21:09 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 09 Nov 2005 16:26:54 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 07 Oct 2005 22:59:26 +0200 | wenzelm | added idtypdummy_ast_tr; | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:49 +0200 | wenzelm | replaced TRANSLATION_FAIL by EXCEPTION; | file | diff | annotate |
| Wed, 29 Jun 2005 15:13:42 +0200 | wenzelm | transform_failure in translation functions: TRANSLATION_FAIL; | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Sat, 18 Dec 2004 17:10:49 +0100 | schirmer | Syntax: last premise of "_bigimpl" is wrapped with "_asm", to have a hook for | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Sat, 05 Jun 2004 13:06:04 +0200 | wenzelm | tuned exeption handling (capture/release); | file | diff | annotate |
| Fri, 21 May 2004 21:47:07 +0200 | berghofe | Modified functions pt_to_ast and ast_to_term to improve handling | file | diff | annotate |
| Sat, 01 May 2004 22:10:37 +0200 | wenzelm | improved indexed syntax / implicit structures; | file | diff | annotate |
| Thu, 22 Apr 2004 10:59:19 +0200 | wenzelm | non_typed_tr'; | file | diff | annotate |
| Sun, 22 Dec 2002 10:42:09 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 16 Jan 2002 23:19:34 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Sun, 11 Nov 2001 21:38:25 +0100 | wenzelm | added meta_conjunction_tr'; | file | diff | annotate |
| Fri, 09 Nov 2001 00:18:23 +0100 | wenzelm | indexvar_ast_tr (for \<index> placeholder); | file | diff | annotate |
| Wed, 08 Aug 2001 17:39:32 +0200 | wenzelm | added constify_ast_tr; | file | diff | annotate |
| Fri, 01 Dec 2000 19:44:15 +0100 | wenzelm | no_brackets mode; | file | diff | annotate |
| Mon, 27 Mar 2000 21:13:06 +0200 | wenzelm | fixed dddot_tr; | file | diff | annotate |
| Sat, 25 Mar 2000 17:59:52 +0100 | wenzelm | improved (anti)quote_tr('); | file | diff | annotate |
| Sat, 25 Mar 2000 12:59:31 +0100 | wenzelm | tuned antiquote_tr'; | file | diff | annotate |
| Thu, 23 Mar 2000 11:28:10 +0100 | wenzelm | tuned spacing; | file | diff | annotate |
| Sat, 04 Sep 1999 21:04:30 +0200 | wenzelm | removed "_BIND" translation; | file | diff | annotate |
| Wed, 02 Jun 1999 22:27:01 +0200 | wenzelm | added dddot_tr; | file | diff | annotate |
| Tue, 20 Oct 1998 16:30:27 +0200 | wenzelm | no open; | file | diff | annotate |
| Mon, 10 Aug 1998 17:03:54 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 25 Jun 1998 15:37:36 +0200 | wenzelm | tuned loose bound vars check; | file | diff | annotate |
| Mon, 09 Mar 1998 16:11:28 +0100 | wenzelm | read_var; | file | diff | annotate |
| Wed, 05 Nov 1997 11:43:37 +0100 | wenzelm | adapted pure_trfunsT; | file | diff | annotate |
| Fri, 17 Oct 1997 18:19:14 +0200 | wenzelm | no longer tries bogus eta-contract involving aprops; | file | diff | annotate |
| Mon, 06 Oct 1997 18:23:13 +0200 | wenzelm | eliminated raise_ast, raise_term, raise_typ; | file | diff | annotate |
| Wed, 24 Sep 1997 10:51:52 +0200 | wenzelm | pure_trfuns: added constraint; | file | diff | annotate |
| Mon, 22 Sep 1997 17:31:28 +0200 | wenzelm | tuned lambda_ast_tr, idtyp_ast_tr' to accomodate fix of idt/idts | file | diff | annotate |
| Fri, 28 Feb 1997 16:44:30 +0100 | wenzelm | added mark_bound(T), variant_abs'; | file | diff | annotate |
| Fri, 16 Feb 1996 17:24:51 +0100 | paulson | Elimination of fully-functorial style. | file | diff | annotate |
| Sun, 12 Nov 1995 13:14:13 +0100 | nipkow | Set eta_contract to true. | file | diff | annotate |
| Mon, 03 Jul 1995 15:39:53 +0200 | clasohm | added cargs for curried function application | file | diff | annotate |
| Thu, 30 Mar 1995 14:07:52 +0200 | clasohm | changed translation of _applC | file | diff | annotate |
| Fri, 03 Mar 1995 11:48:05 +0100 | clasohm | added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure) | file | diff | annotate |
| Wed, 12 Oct 1994 16:34:00 +0100 | wenzelm | remove _explode, _implode and trfuns; | file | diff | annotate |