src/HOL/Tools/Qelim/cooper.ML
2008-09-29 wenzelm 2008-09-29 handle _ should be avoided (spurious Interrupt will spoil the game);
2008-09-18 wenzelm 2008-09-18 simplified oracle interface;
2008-07-18 haftmann 2008-07-18 moved op dvd to theory Ring_and_Field; generalized a couple of lemmas
2008-06-23 wenzelm 2008-06-23 Logic.all/mk_equals/mk_implies;
2008-05-29 wenzelm 2008-05-29 proper context for simp_thms_conv;
2008-05-17 wenzelm 2008-05-17 structure Display: less pervasive operations;
2008-01-02 haftmann 2008-01-02 some more antiquotations
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-09-15 haftmann 2007-09-15 fixed title
2007-08-16 wenzelm 2007-08-16 removed dead code;
2007-07-31 wenzelm 2007-07-31 arith method setup: proper context;
2007-07-20 haftmann 2007-07-20 moved class ord from Orderings.thy to HOL.thy
2007-07-10 haftmann 2007-07-10 now works with SML/NJ
2007-07-10 haftmann 2007-07-10 replaced code generator framework for reflected cooper
2007-07-05 wenzelm 2007-07-05 avoid polymorphic equality; Numeral.mk_cnumber;
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/;