do not normalized extra file dependencies for now -- still loaded by prover process;

--- a/src/Pure/Thy/thy_header.scala	Tue Aug 30 11:43:47 2011 +0200
+++ b/src/Pure/Thy/thy_header.scala	Tue Aug 30 12:01:07 2011 +0200
@@ -119,6 +119,8 @@
     Thy_Header(f(name), imports.map(f), uses.map(p => (f(p._1), p._2)))
 
   def norm_deps(f: String => String, g: String => String): Thy_Header =
-    copy(imports = imports.map(name => f(name)), uses = uses.map(p => (g(p._1), p._2)))
+    copy(imports = imports.map(name => f(name)))
+    // FIXME
+    // copy(imports = imports.map(name => f(name)), uses = uses.map(p => (g(p._1), p._2)))
 }