CONTRIBUTORS
changeset 65099 30d0b2f1df76
parent 65042 956ea00a162a
child 65330 d83f709b7580
     1.1 --- a/CONTRIBUTORS	Fri Mar 03 23:21:24 2017 +0100
     1.2 +++ b/CONTRIBUTORS	Thu Mar 02 21:16:02 2017 +0100
     1.3 @@ -6,6 +6,9 @@
     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 +  Fixed-point theory and Galois Connections in HOL-Algebra.
     1.9 +
    1.10  * February 2017: Florian Haftmann, TUM
    1.11    Statically embedded computations implemented by generated code.
    1.12