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