CONTRIBUTORS
changeset 54035 6332f6fae391
parent 54029 4edfd0fd5536
child 54051 cdba71c67860
     1.1 --- a/CONTRIBUTORS	Wed Oct 02 17:09:12 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Oct 02 17:10:01 2013 +0200
     1.3 @@ -25,10 +25,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 improvements 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 -  Improvements 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