CONTRIBUTORS

--- a/CONTRIBUTORS	Sun Mar 19 20:28:21 2017 +0100
+++ b/CONTRIBUTORS	Mon Mar 20 21:01:47 2017 +0100
@@ -6,7 +6,8 @@
 Contributions to this Isabelle version
 --------------------------------------
 
-* March 2017: Alasdair Armstrong and Simon Foster, University of York
+* March 2017: Alasdair Armstrong, University of Sheffield and
+  Simon Foster, University of York
   Fixed-point theory and Galois Connections in HOL-Algebra.
 
 * February 2017: Florian Haftmann, TUM