CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Aug 27 11:33:00 2014 +0200
+++ b/CONTRIBUTORS	Wed Aug 27 15:52:58 2014 +0200
@@ -3,6 +3,13 @@
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
+Contributions to this Isabelle version
+--------------------------------------
+
+* August 2014: Manuel Eberl, TUM
+  Generic euclidean algorithms for gcd et al.
+
+
 Contributions to Isabelle2014
 -----------------------------