CONTRIBUTORS
changeset 68391 9b4f60bdad54
parent 68246 b48bab511939
child 68466 3d8241f4198b
     1.1 --- a/CONTRIBUTORS	Wed Jun 06 11:41:54 2018 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Jun 06 11:49:16 2018 +0200
     1.3 @@ -3,11 +3,11 @@
     1.4  listed as an author in one of the source files of this Isabelle distribution.
     1.5  
     1.6  
     1.7 -Contributions to this Isabelle version
     1.8 ---------------------------------------
     1.9 +Contributions to Isabelle2018
    1.10 +-----------------------------
    1.11  
    1.12  * May 2018: Manuel Eberl
    1.13 -  Landau symbols and asymptotic equivalence (moved from the AFP)
    1.14 +  Landau symbols and asymptotic equivalence (moved from the AFP).
    1.15  
    1.16  * May 2018: Jose Divasón (Universidad de la Rioja),
    1.17    Jesús Aransay (Universidad de la Rioja), Johannes Hölzl (VU Amsterdam),
    1.18 @@ -22,9 +22,8 @@
    1.19    Code generation with lazy evaluation semantics.
    1.20  
    1.21  * March 2018: Florian Haftmann
    1.22 -  Abstract bit operations push_bit, take_bit, drop_bit, alongside
    1.23 -  with an algebraic foundation for bit strings and word types in
    1.24 -  HOL-ex.
    1.25 +  Abstract bit operations push_bit, take_bit, drop_bit, alongside with an
    1.26 +  algebraic foundation for bit strings and word types in HOL-ex.
    1.27  
    1.28  * March 2018: Viorel Preoteasa
    1.29    Generalisation of complete_distrib_lattice
    1.30 @@ -36,7 +35,8 @@
    1.31    A new conditional parametricity prover.
    1.32  
    1.33  * October 2017: Alexander Maletzky
    1.34 -  Derivation of axiom "iff" in HOL.thy from the other axioms.
    1.35 +  Derivation of axiom "iff" in theory HOL.HOL from the other axioms.
    1.36 +
    1.37  
    1.38  Contributions to Isabelle2017
    1.39  -----------------------------