diff -r 2795bd5e502e -r e0c3e11e9bea CONTRIBUTORS
--- a/CONTRIBUTORS	Mon May 04 16:12:37 2015 +0200
+++ b/CONTRIBUTORS	Mon May 04 22:11:35 2015 +0200
@@ -10,8 +10,8 @@
   The Eisbach proof method language and "match" method.
 
 * Winter 2014 and Spring 2015: Ondrej Kuncar, TUM
-  Extension of lift_definition to execute lifted functions that have as a return type 
-  a datatype containing a subtype. 
+  Extension of lift_definition to execute lifted functions that have as a
+  return type a datatype containing a subtype.
 
 * March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII,
   and Dmitriy Traytel, TUM