CONTRIBUTORS

--- a/CONTRIBUTORS	Tue May 22 11:05:47 2018 +0200
+++ b/CONTRIBUTORS	Fri May 18 17:51:58 2018 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* May 2018: Manuel Eberl
+  Landau symbols and asymptotic equivalence (moved from the AFP)
+
 * May 2018: Jose Divasón (Universidad de la Rioja),
   Jesús Aransay (Universidad de la Rioja), Johannes Hölzl (VU Amsterdam),
   Fabian Immler (TUM)