equal
deleted
inserted
replaced
1 (* theory collecting all knowledge defined for the isac mathengine |
1 (* theory collecting all knowledge defined for the isac mathengine |
2 WN.11.00 |
2 WN.11.00 |
3 *) |
3 *) |
4 |
4 |
5 theory Build_Thydata |
5 theory Build_Thydata |
6 imports Isac "~~/src/Tools/isac/ProgLang/ProgLang" |
6 imports |
|
7 Isac "~~/src/Tools/isac/Interpret/Interpret" |
7 Test_Build_Thydata (*for test/../build_thydata.sml, thy_hierarchy.sml*) |
8 Test_Build_Thydata (*for test/../build_thydata.sml, thy_hierarchy.sml*) |
8 begin |
9 begin |
9 |
10 |
10 subsection {* Build <Theory>-Data *} |
11 subsection {* Build <Theory>-Data *} |
11 text {* |
12 text {* |