src/HOL/Tools/TFL/dcterm.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-06-10 haftmann 2010-06-10 tuned quotes, antiquotations and whitespace
2008-12-10 wenzelm 2008-12-10 more antiquotations;
2008-04-12 wenzelm 2008-04-12 rep_cterm/rep_thm: no longer dereference theory_ref;
2007-05-31 wenzelm 2007-05-31 moved TFL files to canonical place;