src/HOL/Integ/IntRing.thy
1996-11-29 nipkow 1996-11-29 Ring Theory.