src/Pure/Syntax/syn_trans.ML
Sun, 11 Nov 2001 21:38:25 +0100 wenzelm added meta_conjunction_tr';
Fri, 09 Nov 2001 00:18:23 +0100 wenzelm indexvar_ast_tr (for \<index> placeholder);
Wed, 08 Aug 2001 17:39:32 +0200 wenzelm added constify_ast_tr;
Fri, 01 Dec 2000 19:44:15 +0100 wenzelm no_brackets mode;
Mon, 27 Mar 2000 21:13:06 +0200 wenzelm fixed dddot_tr;
Sat, 25 Mar 2000 17:59:52 +0100 wenzelm improved (anti)quote_tr(');
Sat, 25 Mar 2000 12:59:31 +0100 wenzelm tuned antiquote_tr';
Thu, 23 Mar 2000 11:28:10 +0100 wenzelm tuned spacing;
Sat, 04 Sep 1999 21:04:30 +0200 wenzelm removed "_BIND" translation;
Wed, 02 Jun 1999 22:27:01 +0200 wenzelm added dddot_tr;
Tue, 20 Oct 1998 16:30:27 +0200 wenzelm no open;
Mon, 10 Aug 1998 17:03:54 +0200 wenzelm tuned;
Thu, 25 Jun 1998 15:37:36 +0200 wenzelm tuned loose bound vars check;
Mon, 09 Mar 1998 16:11:28 +0100 wenzelm read_var;
Wed, 05 Nov 1997 11:43:37 +0100 wenzelm adapted pure_trfunsT;
Fri, 17 Oct 1997 18:19:14 +0200 wenzelm no longer tries bogus eta-contract involving aprops;
Mon, 06 Oct 1997 18:23:13 +0200 wenzelm eliminated raise_ast, raise_term, raise_typ;
Wed, 24 Sep 1997 10:51:52 +0200 wenzelm pure_trfuns: added constraint;
Mon, 22 Sep 1997 17:31:28 +0200 wenzelm tuned lambda_ast_tr, idtyp_ast_tr' to accomodate fix of idt/idts
Fri, 28 Feb 1997 16:44:30 +0100 wenzelm added mark_bound(T), variant_abs';
Fri, 16 Feb 1996 17:24:51 +0100 paulson Elimination of fully-functorial style.
Sun, 12 Nov 1995 13:14:13 +0100 nipkow Set eta_contract to true.
Mon, 03 Jul 1995 15:39:53 +0200 clasohm added cargs for curried function application
Thu, 30 Mar 1995 14:07:52 +0200 clasohm changed translation of _applC
Fri, 03 Mar 1995 11:48:05 +0100 clasohm added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
Wed, 12 Oct 1994 16:34:00 +0100 wenzelm remove _explode, _implode and trfuns;
Mon, 26 Sep 1994 17:34:59 +0100 wenzelm explode_tr now produces leadings 0s;
Fri, 19 Aug 1994 15:34:28 +0200 wenzelm added this file;
less more (0) tip