src/Pure/Thy/thy_load.scala

--- a/src/Pure/Thy/thy_load.scala	Tue Feb 26 20:11:11 2013 +0100
+++ b/src/Pure/Thy/thy_load.scala	Wed Feb 27 12:45:19 2013 +0100
@@ -114,8 +114,7 @@
           " for theory " + quote(name1))
 
       val imports = header.imports.map(import_name(name.dir, _))
-      val uses = header.uses
-      Document.Node.Header(imports, header.keywords, uses)
+      Document.Node.Header(imports, header.keywords, Nil)
     }
     catch { case exn: Throwable => Document.Node.bad_header(Exn.message(exn)) }
   }