CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Feb 22 20:24:50 2017 +0100
+++ b/CONTRIBUTORS	Wed Feb 22 20:33:53 2017 +0100
@@ -7,7 +7,7 @@
 --------------------------------------
 
 * February 2017: Florian Haftmann, TUM
-  Statically embedded computatations implementated by generated code.
+  Statically embedded computations implemented by generated code.
 
 
 Contributions to Isabelle2016-1