CONTRIBUTORS
changeset 48977 ae12b92c145a
parent 48585 a82910dd2270
child 49145 0ee5983e3d59
     1.1 --- a/CONTRIBUTORS	Tue Aug 28 17:17:03 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Aug 28 17:17:25 2012 +0200
     1.3 @@ -6,6 +6,12 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* August 2012: Dmitriy Traytel, Andrei Popescu, Jasmin Blanchette, TUM
     1.8 +  New (co)datatype package.
     1.9 +
    1.10 +* August 2012: Andrei Popescu and Dmitriy Traytel, TUM
    1.11 +  Theories of ordinals and cardinals.
    1.12 +
    1.13  * July 2012: Makarius Wenzel, Université Paris-Sud / LRI
    1.14    Advanced support for Isabelle sessions and build management, notably
    1.15    "isabelle build".
    1.16 @@ -161,7 +167,7 @@
    1.17  * November 2009: Lukas Bulwahn, TUM
    1.18    Predicate Compiler: a compiler for inductive predicates to
    1.19    equational specifications.
    1.20 - 
    1.21 +
    1.22  * November 2009: Sascha Boehme, TUM and Burkhart Wolff, LRI Paris
    1.23    HOL-Boogie: an interactive prover back-end for Boogie and VCC.
    1.24