diff -r 84699f37481d -r 0ee5983e3d59 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Sep 05 13:02:25 2012 +0200
+++ b/CONTRIBUTORS	Tue Sep 04 13:06:28 2012 +0900
@@ -6,6 +6,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* September 2012: Christian Sternagel, JAIST
+  Consolidated HOL/Library (theories: Prefix_Order, Sublist, and
+  Sublist_Order) w.r.t. prefixes, suffixes, and embedding on lists.
+
 * August 2012: Dmitriy Traytel, Andrei Popescu, Jasmin Blanchette, TUM
   New (co)datatype package.