diff -r ee48e0b4f669 -r 7248d106c607 CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Mar 17 14:48:14 2016 +0100
+++ b/CONTRIBUTORS	Fri Mar 18 08:01:49 2016 +0100
@@ -13,6 +13,9 @@
 * March 2016: Florian Haftmann
   Abstract factorial rings with unique factorization.
 
+* March 2016: Andreas Lochbihler
+  Reasoning support for monotonicity, continuity and
+  admissibility in chain-complete partial orders.
 
 Contributions to Isabelle2016
 -----------------------------