src/HOL/Library/Sublist.thy
changeset 49087 7a17ba4bc997
parent 45236 ac4a2a66707d
child 49107 ec34e9df0514
     1.1 --- a/src/HOL/Library/Sublist.thy	Thu Aug 30 13:03:03 2012 +0900
     1.2 +++ b/src/HOL/Library/Sublist.thy	Thu Aug 30 13:05:11 2012 +0900
     1.3 @@ -1,5 +1,6 @@
     1.4  (*  Title:      HOL/Library/Sublist.thy
     1.5      Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
     1.6 +    Author:     Christian Sternagel, JAIST
     1.7  *)
     1.8  
     1.9  header {* List prefixes, suffixes, and embedding*}