CONTRIBUTORS
changeset 60261 e0c3e11e9bea
parent 60260 2795bd5e502e
child 60301 ff82ba1893c8
     1.1 --- a/CONTRIBUTORS	Mon May 04 16:12:37 2015 +0200
     1.2 +++ b/CONTRIBUTORS	Mon May 04 22:11:35 2015 +0200
     1.3 @@ -10,8 +10,8 @@
     1.4    The Eisbach proof method language and "match" method.
     1.5  
     1.6  * Winter 2014 and Spring 2015: Ondrej Kuncar, TUM
     1.7 -  Extension of lift_definition to execute lifted functions that have as a return type 
     1.8 -  a datatype containing a subtype. 
     1.9 +  Extension of lift_definition to execute lifted functions that have as a
    1.10 +  return type a datatype containing a subtype.
    1.11  
    1.12  * March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII,
    1.13    and Dmitriy Traytel, TUM