1.1 --- a/CONTRIBUTORS	Wed Oct 02 10:13:54 2013 +0300
     1.2 +++ b/CONTRIBUTORS	Wed Oct 02 10:15:53 2013 +0300
     1.3 @@ -22,10 +22,10 @@
     1.4    "primrec_new" and "primcorec" commands and a compatibility layer.
     1.5  
     1.6  * Spring and Summer 2013: Ondrej Kuncar, TUM
     1.7 -  Various improvments of Lifting and Transfer packages
     1.8 +  Various improvements of Lifting and Transfer packages
     1.9  
    1.10  * Spring 2013: Brian Huffman, Galois Inc.
    1.11 -  Improvments of the Transfer package
    1.12 +  Improvements of the Transfer package
    1.13    
    1.14  * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen
    1.15    Jasmin Blanchette, TUM