2007-07-17 ago moved print_translations from Pure.thy to Syntax/syn_trans.ML;
2006-12-11 ago advanced translation functions: Proof.context;
2006-12-10 ago abs/binder_tr': support printing of idtdummy;
2006-11-26 ago tuned;
2006-07-25 ago added variant_abs (from term.ML);
2006-07-18 ago Term.declare_term_names;
2006-07-11 ago Name.invent_list;
2006-06-11 ago improved treatment of TERM TYPE syntax;
2006-05-05 ago added syntax for _type_constraint_;
2006-04-27 ago tuned basic list operators (flat, maps, map_filter);
2006-04-26 ago tuned;
2006-03-21 ago mark_boundT: produce well-typed term;
2006-02-23 ago make SML/NJ happy;
2006-02-22 ago removed obsolete meta_conjunction_tr';
2006-02-10 ago moved fixedN to lexicon.ML;
2006-02-06 ago added bound_vars;
2006-01-31 ago advanced translations: Context.generic;
2006-01-14 ago sane ERROR handling;
2005-12-22 ago prop_tr': proper handling of aprop marked as bound;
2005-12-02 ago asts_to_terms: builtin free_fixed translation makes local binders work properly;
2005-11-19 ago tuned;
2005-11-09 ago tuned;
2005-10-07 ago added idtypdummy_ast_tr;
2005-09-13 ago replaced TRANSLATION_FAIL by EXCEPTION;
2005-06-29 ago transform_failure in translation functions: TRANSLATION_FAIL;
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-12-18 ago Syntax: last premise of "_bigimpl" is wrapped with "_asm", to have a hook for
2004-06-21 ago Merged in license change from Isabelle2004
2004-06-05 ago tuned exeption handling (capture/release);
2004-05-21 ago Modified functions pt_to_ast and ast_to_term to improve handling
2004-05-01 ago improved indexed syntax / implicit structures;
2004-04-22 ago non_typed_tr';
2002-12-22 ago *** empty log message ***
2002-01-16 ago GPLed;
2001-11-11 ago added meta_conjunction_tr';
2001-11-09 ago indexvar_ast_tr (for \<index> placeholder);
2001-08-08 ago added constify_ast_tr;
2000-12-01 ago no_brackets mode;
2000-03-27 ago fixed dddot_tr;
2000-03-25 ago improved (anti)quote_tr(');
2000-03-25 ago tuned antiquote_tr';
2000-03-23 ago tuned spacing;
1999-09-04 ago removed "_BIND" translation;
1999-06-02 ago added dddot_tr;
1998-10-20 ago no open;
1998-08-10 ago tuned;
1998-06-25 ago tuned loose bound vars check;
1998-03-09 ago read_var;
1997-11-05 ago adapted pure_trfunsT;
1997-10-17 ago no longer tries bogus eta-contract involving aprops;
1997-10-06 ago eliminated raise_ast, raise_term, raise_typ;
1997-09-24 ago pure_trfuns: added constraint;
1997-09-22 ago tuned lambda_ast_tr, idtyp_ast_tr' to accomodate fix of idt/idts
1997-02-28 ago added mark_bound(T), variant_abs';
1996-02-16 ago Elimination of fully-functorial style.
1995-11-12 ago Set eta_contract to true.
1995-07-03 ago added cargs for curried function application
1995-03-30 ago changed translation of _applC
1995-03-03 ago added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)