src/HOL/Euclidean_Division.thy
20 months ago haftmann 2017-10-08 more fundamental definition of div and mod on int
20 months ago haftmann 2017-10-08 generalized some rules
20 months ago haftmann 2017-10-08 avoid variant of mk_sum
20 months ago haftmann 2017-10-08 generalized simproc
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