# HG changeset patch
# User kuncar
# Date 1380698153 -10800
# Node ID aae0163c01eaf5996f69f1883188613f504c477a
# Parent  8089e82833b6c32eb097e645e09531b8bdd761b5
typo

diff -r 8089e82833b6 -r aae0163c01ea CONTRIBUTORS
--- 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