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