src/HOL/Computational_Algebra/Euclidean_Algorithm.thy
18 months ago Manuel Eberl 2017-12-12 Moved analysis material from AFP
20 months ago haftmann 2017-10-08 euclidean rings need no normalization
2017-04-07 wenzelm 2017-04-07 tuned headers;
2017-04-06 haftmann 2017-04-06 session containing computational algebra