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