CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Feb 17 21:51:55 2016 +0100
+++ b/CONTRIBUTORS	Wed Feb 17 21:51:56 2016 +0100
@@ -6,6 +6,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* January 2016: Florian Haftmann
+  Abolition of compound operators INFIMUM and SUPREMUM
+  for complete lattices.
+
 
 Contributions to Isabelle2016
 -----------------------------