src/ZF/Integ/IntDiv.thy
2000-08-11 paulson 2000-08-11 new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers