src/HOL/Integ/IntDiv_setup.ML
2005-09-23 wenzelm 2005-09-23 Provers/cancel_sums.ML: Simplifier.inherit_bounds;
2004-03-24 paulson 2004-03-24 streamlined treatment of quotients for the integers
2004-02-15 paulson 2004-02-15 Polymorphic treatment of binary arithmetic using axclasses
2002-08-23 nipkow 2002-08-23 Added div+mod cancelling simproc