src/HOL/Euclidean_Division.thy
2017-01-04 haftmann 2017-01-04 moved euclidean ring to HOL