1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/Tools/isac/xmlsrc/xmlsrc.thy Tue Mar 01 15:23:59 2011 +0100
1.3 @@ -0,0 +1,17 @@
1.4 +(* Title: collect all defitions for xml generation
1.5 + Author: Walther Neuper 110226
1.6 + (c) due to copyright terms
1.7 +*)
1.8 +
1.9 +theory xmlsrc imports Interpret
1.10 + uses ("mathml.sml") ("datatypes.sml") ("pbl-met-hierarchy.sml")
1.11 + ("thy-hierarchy.sml") ("interface-xml.sml")
1.12 +begin
1.13 +
1.14 + use "mathml.sml"
1.15 + use "datatypes.sml"
1.16 + use "pbl-met-hierarchy.sml"
1.17 + use "thy-hierarchy.sml"
1.18 + use "interface-xml.sml"
1.19 +
1.20 +end
1.21 \ No newline at end of file