src/HOL/Integ/IntDiv_setup.ML
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