CONTRIBUTORS
changeset 68200 5859c688102a
parent 68073 fad29d2a17a5
child 68246 b48bab511939
     1.1 --- a/CONTRIBUTORS	Wed May 16 23:13:33 2018 +0200
     1.2 +++ b/CONTRIBUTORS	Thu May 17 07:42:33 2018 +0200
     1.3 @@ -14,6 +14,10 @@
     1.4  * May 2018: Florian Haftmann
     1.5    Consolidation of string-like types in HOL.
     1.6  
     1.7 +* May 2018: Andreas Lochbihler (Digital Asset),
     1.8 +  Pascal Stoop (ETH Zurich)
     1.9 +  Code generation with lazy evaluation semantics.
    1.10 +
    1.11  * March 2018: Florian Haftmann
    1.12    Abstract bit operations push_bit, take_bit, drop_bit, alongside
    1.13    with an algebraic foundation for bit strings and word types in