(* Title:  collect all defitions for xml generation

    Author: Walther Neuper 110226

    (c) due to copyright terms

 *)

 theory xmlsrc imports Interpret

   uses ("mathml.sml") ("datatypes.sml") ("pbl-met-hierarchy.sml")

        ("thy-hierarchy.sml") ("interface-xml.sml")

 begin

   use "mathml.sml"

   use "datatypes.sml"

   use "pbl-met-hierarchy.sml"

   use "thy-hierarchy.sml" 

   use "interface-xml.sml"

 end