CONTRIBUTORS
changeset 65099 30d0b2f1df76
parent 65042 956ea00a162a
child 65330 d83f709b7580
equal deleted inserted replaced
65098:b47ba1778e44 65099:30d0b2f1df76
     3 listed as an author in one of the source files of this Isabelle distribution.
     3 listed as an author in one of the source files of this Isabelle distribution.
     4 
     4 
     5 
     5 
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
       
     8 
       
     9 * March 2017: Alasdair Armstrong and Simon Foster, University of York
       
    10   Fixed-point theory and Galois Connections in HOL-Algebra.
     8 
    11 
     9 * February 2017: Florian Haftmann, TUM
    12 * February 2017: Florian Haftmann, TUM
    10   Statically embedded computations implemented by generated code.
    13   Statically embedded computations implemented by generated code.
    11 
    14 
    12 
    15