src/HOL/Tools/lin_arith.ML
2008-02-22 haftmann 2008-02-22 moved refute_tac to linarith.ML
2008-02-20 haftmann 2008-02-20 tuned structures in arith_data.ML
2008-02-11 huffman 2008-02-11 fix spelling
2008-01-15 haftmann 2008-01-15 joined theories IntDef, Numeral, IntArith to theory Int
2007-10-12 webertj 2007-10-12 typo in comment fixed
2007-10-09 wenzelm 2007-10-09 generic Syntax.pretty/string_of operations;
2007-08-18 webertj 2007-08-18 fixed a bug in demult: -a in (-a * b) is no longer treated as atomic
2007-08-14 wenzelm 2007-08-14 avoid low-level tsig;
2007-08-09 haftmann 2007-08-09 localized of_nat
2007-08-01 wenzelm 2007-08-01 simplified internal Config interface;
2007-07-31 wenzelm 2007-07-31 HOL setup for linear arithmetic -- moved here from arith_data.ML;