CONTRIBUTORS
changeset 49145 0ee5983e3d59
parent 48977 ae12b92c145a
child 49190 e1e1d427747d
     1.1 --- a/CONTRIBUTORS	Wed Sep 05 13:02:25 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Sep 04 13:06:28 2012 +0900
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* September 2012: Christian Sternagel, JAIST
     1.8 +  Consolidated HOL/Library (theories: Prefix_Order, Sublist, and
     1.9 +  Sublist_Order) w.r.t. prefixes, suffixes, and embedding on lists.
    1.10 +
    1.11  * August 2012: Dmitriy Traytel, Andrei Popescu, Jasmin Blanchette, TUM
    1.12    New (co)datatype package.
    1.13