CONTRIBUTORS
changeset 56118 d3967fdc800a
parent 55913 c1409c103b77
child 56416 b9baecff0684
     1.1 --- a/CONTRIBUTORS	Thu Mar 13 16:07:27 2014 -0700
     1.2 +++ b/CONTRIBUTORS	Fri Mar 14 01:28:13 2014 +0100
     1.3 @@ -9,6 +9,15 @@
     1.4  * March 2014: René Thiemann
     1.5    Improved code generation for multisets.
     1.6  
     1.7 +* Fall 2013 and Winter 2014: Lorenz Panny, Dmitriy Traytel, and
     1.8 +  Jasmin Blanchette, TUM
     1.9 +  Various improvements to the BNF-based (co)datatype package, including
    1.10 +  a more polished "primcorec" command, optimizations, and integration in
    1.11 +  the "HOL" session.
    1.12 +
    1.13 +* Winter 2014: Sascha Boehme, QAware GmbH, and Jasmin Blanchette, TUM
    1.14 +  "SMT2" module and "smt2" proof method, based on SMT-LIB 2 and Z3 4.3.
    1.15 +
    1.16  * January 2014: Lars Hupel, TUM
    1.17    An improved, interactive simplifier trace with integration into the
    1.18    Isabelle/jEdit Prover IDE.
    1.19 @@ -42,7 +51,7 @@
    1.20  
    1.21  * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
    1.22    Jasmin Blanchette, TUM
    1.23 -  Various improvements to BNF-based (co)datatype package, including
    1.24 +  Various improvements to the BNF-based (co)datatype package, including
    1.25    "primrec_new" and "primcorec" commands and a compatibility layer.
    1.26  
    1.27  * Spring and Summer 2013: Ondrej Kuncar, TUM