Use legacy_xml_syntax.ML
replaced "Imported Theory" with "ImportedTheory" to fix problem with emptyLibName