equal
deleted
inserted
replaced
2 Author: Walther Neuper 110226 |
2 Author: Walther Neuper 110226 |
3 (c) due to copyright terms |
3 (c) due to copyright terms |
4 *) |
4 *) |
5 |
5 |
6 theory xmlsrc |
6 theory xmlsrc |
7 imports "~~/libisabelle-protocol/isabelle/2015/Codec_Class" "~~/src/Tools/isac/Interpret/Interpret" |
7 imports "~~/libisabelle-protocol/protocol/Codec_Class" "~~/src/Tools/isac/Interpret/Interpret" |
8 |
8 |
9 begin |
9 begin |
10 |
10 |
11 ML_file "~~/src/Tools/isac/xmlsrc/mathml.sml" |
11 ML_file "~~/src/Tools/isac/xmlsrc/mathml.sml" |
12 ML_file "~~/src/Tools/isac/xmlsrc/datatypes.sml" |
12 ML_file "~~/src/Tools/isac/xmlsrc/datatypes.sml" |