--- a/src/HOL/Tools/simpdata.ML Thu Jul 08 16:19:23 2010 +0200
+++ b/src/HOL/Tools/simpdata.ML Thu Jul 08 16:19:24 2010 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/simpdata.ML
+(* Title: HOL/Tools/simpdata.ML
Author: Tobias Nipkow
Copyright 1991 University of Cambridge