CONTRIBUTORS
changeset 65330 d83f709b7580
parent 65099 30d0b2f1df76
child 66475 d8e0fd64216f
     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