src/HOL/Library/Sublist.thy

--- a/src/HOL/Library/Sublist.thy	Thu Aug 30 13:03:03 2012 +0900
+++ b/src/HOL/Library/Sublist.thy	Thu Aug 30 13:05:11 2012 +0900
@@ -1,5 +1,6 @@
 (*  Title:      HOL/Library/Sublist.thy
     Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
+    Author:     Christian Sternagel, JAIST
 *)
 
 header {* List prefixes, suffixes, and embedding*}