CONTRIBUTORS
changeset 53307 221ff2b39a35
parent 53164 beb4ee344c22
child 53396 5e446969033c
     1.1 --- a/CONTRIBUTORS	Fri Aug 30 12:06:11 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Aug 30 12:06:37 2013 +0200
     1.3 @@ -6,8 +6,12 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and Jasmin Blanchette, TUM
     1.8 +  Various improvements to BNF-based (co)datatype package, including a
     1.9 +  "primrec_new" command and a compatibility layer.
    1.10 +
    1.11  * Summer 2013: Christian Sternagel, JAIST
    1.12 -  Improved support for adhoc overloading of constants, including
    1.13 +  Improved support for ad hoc overloading of constants, including
    1.14    documentation and examples.
    1.15  
    1.16  * May 2013: Florian Haftmann, TUM