1.1 --- a/CONTRIBUTORS Wed Oct 02 17:09:12 2013 +0200
1.2 +++ b/CONTRIBUTORS Wed Oct 02 17:10:01 2013 +0200
1.3 @@ -25,10 +25,10 @@
1.4 "primrec_new" and "primcorec" commands and a compatibility layer.
1.5
1.6 * Spring and Summer 2013: Ondrej Kuncar, TUM
1.7 - Various improvements of Lifting and Transfer packages
1.8 + Various improvements of Lifting and Transfer packages.
1.9
1.10 * Spring 2013: Brian Huffman, Galois Inc.
1.11 - Improvements of the Transfer package
1.12 + Improvements of the Transfer package.
1.13
1.14 * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen
1.15 Jasmin Blanchette, TUM