library.dtd