Corrected affiliation.
authorballarin
Mon Mar 20 21:01:47 2017 +0100 (2017-03-20)
changeset 65330d83f709b7580
parent 65329 4f3da52cec02
child 65337 27144776aefe
Corrected affiliation.
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Sun Mar 19 20:28:21 2017 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Mar 20 21:01:47 2017 +0100
     1.3 @@ -6,7 +6,8 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 -* March 2017: Alasdair Armstrong and Simon Foster, University of York
     1.8 +* March 2017: Alasdair Armstrong, University of Sheffield and
     1.9 +  Simon Foster, University of York
    1.10    Fixed-point theory and Galois Connections in HOL-Algebra.
    1.11  
    1.12  * February 2017: Florian Haftmann, TUM