src/HOL/Integ/IntRingDefs.ML
1996-11-29 nipkow 1996-11-29 Ring Theory.