src/Pure/ROOT

     "PIDE/document_id.ML"
     "PIDE/execution.ML"
     "PIDE/markup.ML"
     "PIDE/protocol.ML"
     "PIDE/query_operation.ML"
+    "PIDE/resources.ML"
     "PIDE/xml.ML"
     "PIDE/yxml.ML"
     "Proof/extraction.ML"
     "Proof/proof_checker.ML"
     "Proof/proof_rewrite_rules.ML"

     "Thy/present.ML"
     "Thy/term_style.ML"
     "Thy/thm_deps.ML"
     "Thy/thy_header.ML"
     "Thy/thy_info.ML"
-    "Thy/thy_load.ML"
     "Thy/thy_output.ML"
     "Thy/thy_syntax.ML"
     "Tools/build.ML"
     "Tools/named_thms.ML"
     "Tools/proof_general.ML"