changeset 62058 | 1cfd5d604937 |
parent 61702 | 2e89bc578935 |
child 63167 | 0909deb8059b |
--- a/src/HOL/Imperative_HOL/ex/List_Sublist.thy Tue Jan 05 13:41:29 2016 +0100 +++ b/src/HOL/Imperative_HOL/ex/List_Sublist.thy Tue Jan 05 13:48:51 2016 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/Imperative_HOL/ex/Sublist.thy +(* Title: HOL/Imperative_HOL/ex/List_Sublist.thy Author: Lukas Bulwahn, TU Muenchen *)