equal
deleted
inserted
replaced
4 *) |
4 *) |
5 |
5 |
6 theory BridgeLibisabelle |
6 theory BridgeLibisabelle |
7 imports "~~/src/Tools/isac/MathEngine/MathEngine" |
7 imports "~~/src/Tools/isac/MathEngine/MathEngine" |
8 begin |
8 begin |
|
9 ML_file "thy-present.sml" |
9 ML_file mathml.sml |
10 ML_file mathml.sml |
10 ML_file datatypes.sml |
11 ML_file datatypes.sml |
11 ML_file "pbl-met-hierarchy.sml" |
12 ML_file "pbl-met-hierarchy.sml" |
12 ML_file "thy-hierarchy.sml" |
13 ML_file "thy-hierarchy.sml" |
13 ML_file "interface-xml.sml" |
14 ML_file "interface-xml.sml" |