| author | Walther Neuper <neuper@ist.tugraz.at> |
| Tue, 01 Mar 2011 15:23:59 +0100 | |
| branch | decompose-isar |
| changeset 41905 | b772eb34c16c |
| child 48763 | 9b9936d79dbe |
| permissions | -rw-r--r-- |
1 (* Title: collect all defitions for xml generation
2 Author: Walther Neuper 110226
3 (c) due to copyright terms
4 *)
6 theory xmlsrc imports Interpret
7 uses ("mathml.sml") ("datatypes.sml") ("pbl-met-hierarchy.sml")
8 ("thy-hierarchy.sml") ("interface-xml.sml")
9 begin
11 use "mathml.sml"
12 use "datatypes.sml"
13 use "pbl-met-hierarchy.sml"
14 use "thy-hierarchy.sml"
15 use "interface-xml.sml"
17 end