src/HOL/Tools/Qelim/cooper.ML
2009-05-11 haftmann 2009-05-11 qualified names for Lin_Arith tactics and simprocs
2009-03-23 haftmann 2009-03-23 moved generic arith_tac (formerly silent_arith_tac), verbose_arith_tac (formerly arith_tac) to Arith_Data; simple_arith-tac now named linear_arith_tac
2009-03-19 wenzelm 2009-03-19 proper spacing before ML antiquotations -- note that @ may be part of symbolic ML identifiers;
2009-03-11 haftmann 2009-03-11 tuned funny error message
2009-03-05 haftmann 2009-03-05 set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax
2009-02-03 haftmann 2009-02-03 regenerated presburger code
2008-12-31 wenzelm 2008-12-31 moved old add_term_vars, add_term_frees etc. to structure OldTerm;
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/;