# HG changeset patch # User wenzelm # Date 1380726601 -7200 # Node ID 6332f6fae39154f8bff92c795b6c43c138150645 # Parent 07844b53681013c83d348094afad9970bbc4d3d9 tuned; diff -r 07844b536810 -r 6332f6fae391 CONTRIBUTORS --- 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