src/ZF/arith_data.ML
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-02-15 paulson 2004-02-15 Polymorphic treatment of binary arithmetic using axclasses
2002-08-08 wenzelm 2002-08-08 tuned;
2002-08-06 wenzelm 2002-08-06 sane interface for simprocs;
2002-06-29 paulson 2002-06-29 conversion of many files to Isar format
2002-05-16 paulson 2002-05-16 converting Ordinal.ML to Isar format
2002-05-09 paulson 2002-05-09 fixed simproc bug
2001-11-15 wenzelm 2001-11-15 no handle ERROR;
2001-11-10 wenzelm 2001-11-10 use Tactic.prove;
2000-09-06 paulson 2000-09-06 bug fix for arithmetic simprocs (nat & int)
2000-08-18 paulson 2000-08-18 simproc bug fix: only TYPING assumptions are given to the simplifier
2000-08-10 paulson 2000-08-10 installation of cancellation simprocs for the integers
2000-08-07 paulson 2000-08-07 instantiated Cancel_Numerals for "nat" in ZF