CONTRIBUTORS

--- a/CONTRIBUTORS	Tue Dec 01 12:28:02 2015 +0100
+++ b/CONTRIBUTORS	Tue Dec 01 12:35:11 2015 +0100
@@ -6,6 +6,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* Autumn 2015: Andreas Lochbihler
+  Bourbaki-Witt fixpoint theorem for increasing functions on
+  chain-complete partial orders.
+
 * Autumn 2015: Chaitanya Mangla, Lawrence C Paulson, and Manuel Eberl
   A large number of additional binomial identities.