CONTRIBUTORS

--- a/CONTRIBUTORS	Sun Jul 15 01:14:04 2018 +0100
+++ b/CONTRIBUTORS	Sun Jul 15 14:46:57 2018 +0200
@@ -6,6 +6,10 @@
 Contributions to Isabelle2018
 -----------------------------
 
+* July 2018: Manuel Eberl
+  "real_asymp" proof method for automatic proofs of real limits, "Big-O"
+  statements, etc.
+
 * June 2018: Fabian Immler
   More tool support for HOL-Types_To_Sets.