CONTRIBUTORS

--- a/CONTRIBUTORS	Wed May 16 23:13:33 2018 +0200
+++ b/CONTRIBUTORS	Thu May 17 07:42:33 2018 +0200
@@ -14,6 +14,10 @@
 * May 2018: Florian Haftmann
   Consolidation of string-like types in HOL.
 
+* May 2018: Andreas Lochbihler (Digital Asset),
+  Pascal Stoop (ETH Zurich)
+  Code generation with lazy evaluation semantics.
+
 * March 2018: Florian Haftmann
   Abstract bit operations push_bit, take_bit, drop_bit, alongside
   with an algebraic foundation for bit strings and word types in