--- a/CONTRIBUTORS Sun Sep 29 11:59:01 2013 +0200
+++ b/CONTRIBUTORS Sun Sep 29 12:17:02 2013 +0200
@@ -16,7 +16,8 @@
* Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
Jasmin Blanchette, TUM
Various improvements to BNF-based (co)datatype package, including
- "primrec_new" and "primcorecursive" commands and a compatibility layer.
+ "primrec_new" and "primcorecursive" commands and a compatibility
+ layer.
* Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen
Jasmin Blanchette, TUM