# HG changeset patch
# User ballarin
# Date 1490040107 -3600
# Node ID d83f709b7580df98c3afefc70e5493ced436f9b1
# Parent  4f3da52cec02481db9b0219363012a6ea96f33c7
Corrected affiliation.

diff -r 4f3da52cec02 -r d83f709b7580 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