src/HOL/Number_Theory/Euclidean_Algorithm.thy
2015-06-12 haftmann 2015-06-12 standardized algebraic conventions: prefer a, b, c over x, y, z
2014-11-26 haftmann 2014-11-26 prefer abbrev for is_unit
2014-11-17 haftmann 2014-11-17 generalized lemmas and tuned proofs
2014-11-17 haftmann 2014-11-17 generalized lemmas (particularly concerning dvd) as far as appropriate
2014-11-09 haftmann 2014-11-09 self-contained simp rules for dvd on numerals
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-08-22 haftmann 2014-08-22 generic euclidean algorithm (due to Manuel Eberl)