# HG changeset patch
# User Christian Sternagel
# Date 1346299511 -32400
# Node ID 7a17ba4bc9974792f3f7e059a5a0cdb930b9e6de
# Parent  835fd053d17d6915b733125f963e67a3dfbb4075
added author

diff -r 835fd053d17d -r 7a17ba4bc997 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*}