src/HOL/Tools/Qelim/cooper_data.ML
2008-01-02 haftmann 2008-01-02 splitted class uminus from class minus
2007-09-15 haftmann 2007-09-15 fixed title
2007-07-20 haftmann 2007-07-20 split class abs from class minus
2007-06-22 chaieb 2007-06-22 merge is now identity
2007-06-21 wenzelm 2007-06-21 moved quantifier elimination tools to Tools/Qelim/;