--- a/src/HOL/Imperative_HOL/ex/Sublist.thy Wed Apr 07 22:22:49 2010 +0200
+++ b/src/HOL/Imperative_HOL/ex/Sublist.thy Thu Apr 08 08:17:27 2010 +0200
@@ -1,3 +1,6 @@
+(* Title: HOL/Imperative_HOL/ex/Sublist.thy
+ Author: Lukas Bulwahn, TU Muenchen
+*)
header {* Slices of lists *}