tuned message;

--- a/src/Pure/Thy/thy_header.ML	Sat Nov 13 20:20:05 2010 +0100
+++ b/src/Pure/Thy/thy_header.ML	Sat Nov 13 20:49:02 2010 +0100
@@ -79,7 +79,7 @@
 
 fun consistent_name name name' =
   if name = name' then ()
-  else error ("Filename " ^ quote (Path.implode (thy_path name)) ^
-    " does not agree with theory name " ^ quote name');
+  else error ("Bad file name " ^ quote (Path.implode (thy_path name)) ^
+    " for theory " ^ quote name');
 
 end;