CONTRIBUTORS
changeset 49190 e1e1d427747d
parent 49145 0ee5983e3d59
child 49481 818bf31759e7
     1.1 --- a/CONTRIBUTORS	Fri Sep 07 08:20:18 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Sep 07 08:20:18 2012 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* September 2012: Florian Haftmann, TUM
     1.8 +  Lattice instances for type option.
     1.9 +
    1.10  * September 2012: Christian Sternagel, JAIST
    1.11    Consolidated HOL/Library (theories: Prefix_Order, Sublist, and
    1.12    Sublist_Order) w.r.t. prefixes, suffixes, and embedding on lists.