CONTRIBUTORS
changeset 54022 aae0163c01ea
parent 54021 8089e82833b6
child 54029 4edfd0fd5536
--- a/CONTRIBUTORS	Wed Oct 02 10:13:54 2013 +0300
+++ b/CONTRIBUTORS	Wed Oct 02 10:15:53 2013 +0300
@@ -22,10 +22,10 @@
   "primrec_new" and "primcorec" commands and a compatibility layer.
 
 * Spring and Summer 2013: Ondrej Kuncar, TUM
-  Various improvments of Lifting and Transfer packages
+  Various improvements of Lifting and Transfer packages
 
 * Spring 2013: Brian Huffman, Galois Inc.
-  Improvments of the Transfer package
+  Improvements of the Transfer package
   
 * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
   Jasmin Blanchette, TUM