typo
authorkuncar
Wed Oct 02 10:15:53 2013 +0300 (2013-10-02)
changeset 54022aae0163c01ea
parent 54021 8089e82833b6
child 54023 cede3c1d2417
typo
CONTRIBUTORS
     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