src/HOL/Euclidean_Division.thy
22 months ago haftmann 2017-10-08 abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel
22 months ago haftmann 2017-10-08 fundamental property of division by units
2017-01-04 haftmann 2017-01-04 moved euclidean ring to HOL