diff -r 2d17c305f4bc -r ae12b92c145a CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Aug 28 17:17:03 2012 +0200
+++ b/CONTRIBUTORS	Tue Aug 28 17:17:25 2012 +0200
@@ -6,6 +6,12 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* August 2012: Dmitriy Traytel, Andrei Popescu, Jasmin Blanchette, TUM
+  New (co)datatype package.
+
+* August 2012: Andrei Popescu and Dmitriy Traytel, TUM
+  Theories of ordinals and cardinals.
+
 * July 2012: Makarius Wenzel, Université Paris-Sud / LRI
   Advanced support for Isabelle sessions and build management, notably
   "isabelle build".
@@ -161,7 +167,7 @@
 * November 2009: Lukas Bulwahn, TUM
   Predicate Compiler: a compiler for inductive predicates to
   equational specifications.
- 
+
 * November 2009: Sascha Boehme, TUM and Burkhart Wolff, LRI Paris
   HOL-Boogie: an interactive prover back-end for Boogie and VCC.