CONTRIBUTORS
changeset 58023 62826b36ac5e
parent 57882 38bf4de248a6
child 58196 1b3fbfb85980
     1.1 --- a/CONTRIBUTORS	Thu Aug 21 14:41:08 2014 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Aug 22 08:43:14 2014 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* August 2014: Manuel Eberl, TUM
     1.8 +  Generic euclidean algorithms for gcd et al.
     1.9 +
    1.10  
    1.11  Contributions to Isabelle2014
    1.12  -----------------------------