src/HOL/Euclidean_Division.thy
20 months ago haftmann 2017-10-08 elementary definition of division on natural numbers
20 months ago haftmann 2017-10-08 tuned structure
20 months ago haftmann 2017-10-08 abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel
20 months ago haftmann 2017-10-08 fundamental property of division by units
2017-01-04 haftmann 2017-01-04 moved euclidean ring to HOL