--- 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