--- a/src/HOL/Statespace/StateSpaceLocale.thy Sun Mar 13 22:24:10 2011 +0100
+++ b/src/HOL/Statespace/StateSpaceLocale.thy Sun Mar 13 22:55:50 2011 +0100
@@ -1,4 +1,4 @@
-(* Title: StateSpaceLocale.thy
+(* Title: HOL/Statespace/StateSpaceLocale.thy
Author: Norbert Schirmer, TU Muenchen
*)