diff -r 5975839e8d25 -r 2525e680f94f CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Feb 22 16:21:26 2017 +0000
+++ b/CONTRIBUTORS	Wed Feb 22 20:24:50 2017 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* February 2017: Florian Haftmann, TUM
+  Statically embedded computatations implementated by generated code.
+
 
 Contributions to Isabelle2016-1
 -------------------------------