src/HOL/Tools/TFL/usyntax.ML
2010-08-28 haftmann 2010-08-28 formerly unnamed infix equality now named HOL.eq
2010-08-27 haftmann 2010-08-27 formerly unnamed infix conjunction and disjunction now named HOL.conj and HOL.disj
2010-08-26 haftmann 2010-08-26 formerly unnamed infix impliciation now named HOL.implies
2010-08-19 haftmann 2010-08-19 corrected some long-overseen misperceptions in recdef
2010-08-19 haftmann 2010-08-19 use antiquotations for remaining unqualified constants in HOL
2010-07-01 haftmann 2010-07-01 "prod" and "sum" replace "*" and "+" respectively
2010-06-28 haftmann 2010-06-28 merged constants "split" and "prod_case"
2010-06-10 haftmann 2010-06-10 tuned quotes, antiquotations and whitespace
2010-05-26 haftmann 2010-05-26 normalized references to constant "split"
2009-09-18 haftmann 2009-09-18 tuned const_name antiquotations
2009-07-29 haftmann 2009-07-29 cleaned up abstract tuple operations and named them consistently
2008-12-31 wenzelm 2008-12-31 moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
2008-12-31 wenzelm 2008-12-31 moved old add_term_vars, add_term_frees etc. to structure OldTerm;
2008-04-26 krauss 2008-04-26 fixed recdef, broken by my previous commit
2007-05-31 wenzelm 2007-05-31 moved TFL files to canonical place;