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