CONTRIBUTORS

--- a/CONTRIBUTORS	Fri Mar 03 23:21:24 2017 +0100
+++ b/CONTRIBUTORS	Thu Mar 02 21:16:02 2017 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* March 2017: Alasdair Armstrong and Simon Foster, University of York
+  Fixed-point theory and Galois Connections in HOL-Algebra.
+
 * February 2017: Florian Haftmann, TUM
   Statically embedded computations implemented by generated code.