tuned;
authorwenzelm
Wed Oct 02 17:10:01 2013 +0200 (2013-10-02)
changeset 540356332f6fae391
parent 54034 07844b536810
child 54036 bc89d163409f
tuned;
CONTRIBUTORS
     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