src/HOL/Tools/Qelim/cooper.ML
2007-07-02 chaieb 2007-07-02 Handle exception TYPE
2007-06-29 haftmann 2007-06-29 tuned arithmetic modules
2007-06-28 haftmann 2007-06-28 dropped Library.lcm
2007-06-25 wenzelm 2007-06-25 made type conv pervasive; tuned;
2007-06-21 wenzelm 2007-06-21 moved quantifier elimination tools to Tools/Qelim/;