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