--- 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