--- 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