--- a/CONTRIBUTORS Fri Aug 30 12:06:11 2013 +0200
+++ b/CONTRIBUTORS Fri Aug 30 12:06:37 2013 +0200
@@ -6,8 +6,12 @@
Contributions to this Isabelle version
--------------------------------------
+* Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and Jasmin Blanchette, TUM
+ Various improvements to BNF-based (co)datatype package, including a
+ "primrec_new" command and a compatibility layer.
+
* Summer 2013: Christian Sternagel, JAIST
- Improved support for adhoc overloading of constants, including
+ Improved support for ad hoc overloading of constants, including
documentation and examples.
* May 2013: Florian Haftmann, TUM