CONTRIBUTORS
changeset 54035 6332f6fae391
parent 54029 4edfd0fd5536
child 54051 cdba71c67860
--- a/CONTRIBUTORS	Wed Oct 02 17:09:12 2013 +0200
+++ b/CONTRIBUTORS	Wed Oct 02 17:10:01 2013 +0200
@@ -25,10 +25,10 @@
   "primrec_new" and "primcorec" commands and a compatibility layer.
 
 * Spring and Summer 2013: Ondrej Kuncar, TUM
-  Various improvements of Lifting and Transfer packages
+  Various improvements of Lifting and Transfer packages.
 
 * Spring 2013: Brian Huffman, Galois Inc.
-  Improvements of the Transfer package
+  Improvements of the Transfer package.
   
 * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
   Jasmin Blanchette, TUM