src/HOL/Tools/Qelim/qelim.ML
2010-05-15 wenzelm 2010-05-15 less pervasive names from structure Thm;
2010-02-28 wenzelm 2010-02-28 more antiquotations;
2009-09-18 haftmann 2009-09-18 tuned const_name antiquotations
2009-03-22 haftmann 2009-03-22 more antiquotations
2007-07-22 chaieb 2007-07-22 tuned
2007-07-19 haftmann 2007-07-19 tuned
2007-07-05 wenzelm 2007-07-05 renamed Conv.is_refl to Thm.is_reflexive;
2007-07-02 chaieb 2007-07-02 Generic QE need no Context anymore
2007-06-25 wenzelm 2007-06-25 made type conv pervasive; Thm.eta_long_conversion; Thm.add_cterm_frees; tuned;
2007-06-21 wenzelm 2007-06-21 moved quantifier elimination tools to Tools/Qelim/;