CONTRIBUTORS

--- a/CONTRIBUTORS	Fri Sep 07 08:20:18 2012 +0200
+++ b/CONTRIBUTORS	Fri Sep 07 08:20:18 2012 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* September 2012: Florian Haftmann, TUM
+  Lattice instances for type option.
+
 * September 2012: Christian Sternagel, JAIST
   Consolidated HOL/Library (theories: Prefix_Order, Sublist, and
   Sublist_Order) w.r.t. prefixes, suffixes, and embedding on lists.