# HG changeset patch
# User haftmann
# Date 1255962723 -7200
# Node ID bd8e15958708b25d83b10fa311d20707c4da2f18
# Parent  e760950ba6c5536d86aeb6c690f0d3f67d59180e
CONTRIBUTORS

diff -r e760950ba6c5 -r bd8e15958708 CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Oct 18 22:19:05 2009 +0200
+++ b/CONTRIBUTORS	Mon Oct 19 16:32:03 2009 +0200
@@ -7,6 +7,12 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* Oktober 2009: Florian Haftmann, TUM
+  Refinement of parts of the HOL datatype package
+
+* Oktober 2009: Florian Haftmann, TUM
+  Generic term styles for term antiquotations
+
 * September 2009: Thomas Sewell, NICTA
   More efficient HOL/record implementation
 
@@ -14,7 +20,7 @@
   SMT method using external SMT solvers
 
 * September 2009: Florian Haftmann, TUM
-  Refinement of Sets and Lattices
+  Refinement of sets and lattices
 
 * July 2009: Jeremy Avigad and Amine Chaieb
   New number theory