CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Aug 21 14:41:08 2014 +0200
+++ b/CONTRIBUTORS	Fri Aug 22 08:43:14 2014 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* August 2014: Manuel Eberl, TUM
+  Generic euclidean algorithms for gcd et al.
+
 
 Contributions to Isabelle2014
 -----------------------------