src/HOL/Number_Theory/Euclidean_Algorithm.thy
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)