equal
deleted
inserted
replaced
2 WN.11.00 |
2 WN.11.00 |
3 *) |
3 *) |
4 |
4 |
5 theory Build_Thydata |
5 theory Build_Thydata |
6 imports |
6 imports |
7 Isac_Knowledge "~~/src/Tools/isac/Interpret/Interpret" |
7 Isac_Knowledge Interpret.Interpret |
8 Test_Build_Thydata (*for test/../build_thydata.sml, thy_hierarchy.sml*) |
8 Test_Build_Thydata (*for test/../build_thydata.sml, thy_hierarchy.sml*) |
9 begin |
9 begin |
10 |
10 |
11 subsection \<open>Build <Theory>-Data\<close> |
11 subsection \<open>Build <Theory>-Data\<close> |
12 text \<open> |
12 text \<open> |