src/Pure/Syntax/syn_trans.ML
2001-08-08 wenzelm 2001-08-08 added constify_ast_tr;
2000-12-01 wenzelm 2000-12-01 no_brackets mode;
2000-03-27 wenzelm 2000-03-27 fixed dddot_tr;
2000-03-25 wenzelm 2000-03-25 improved (anti)quote_tr(');
2000-03-25 wenzelm 2000-03-25 tuned antiquote_tr';
2000-03-23 wenzelm 2000-03-23 tuned spacing;
1999-09-04 wenzelm 1999-09-04 removed "_BIND" translation;
1999-06-02 wenzelm 1999-06-02 added dddot_tr;
1998-10-20 wenzelm 1998-10-20 no open;
1998-08-10 wenzelm 1998-08-10 tuned;
1998-06-25 wenzelm 1998-06-25 tuned loose bound vars check; added quote_antiquote_tr(');
1998-03-09 wenzelm 1998-03-09 read_var;
1997-11-05 wenzelm 1997-11-05 adapted pure_trfunsT; added type_tr/tr'; eliminated mk_ofclassS_tr';
1997-10-17 wenzelm 1997-10-17 no longer tries bogus eta-contract involving aprops;
1997-10-06 wenzelm 1997-10-06 eliminated raise_ast, raise_term, raise_typ;
1997-09-24 wenzelm 1997-09-24 pure_trfuns: added constraint;
1997-09-22 wenzelm 1997-09-22 tuned lambda_ast_tr, idtyp_ast_tr' to accomodate fix of idt/idts vs. pttrn/pttrns;
1997-02-28 wenzelm 1997-02-28 added mark_bound(T), variant_abs'; trfuns now mark bounds they introduce!! added pure_trfunsT;
1996-02-16 paulson 1996-02-16 Elimination of fully-functorial style. Type tactic changed to a type abbrevation (from a datatype). Constructor tactic and function apply deleted.
1995-11-12 nipkow 1995-11-12 Set eta_contract to true.
1995-07-03 clasohm 1995-07-03 added cargs for curried function application
1995-03-30 clasohm 1995-03-30 changed translation of _applC
1995-03-03 clasohm 1995-03-03 added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
1994-10-12 wenzelm 1994-10-12 remove _explode, _implode and trfuns;
1994-09-26 wenzelm 1994-09-26 explode_tr now produces leadings 0s; implode_ast_tr' now quotes result;
1994-08-19 wenzelm 1994-08-19 added this file;