equal
deleted
inserted
replaced
80 use_thy "Knowledge/DiffApp" |
80 use_thy "Knowledge/DiffApp" |
81 use_thy "Knowledge/Integrate" |
81 use_thy "Knowledge/Integrate" |
82 use_thy "Knowledge/EqSystem" |
82 use_thy "Knowledge/EqSystem" |
83 use_thy "Knowledge/Biegelinie" |
83 use_thy "Knowledge/Biegelinie" |
84 use_thy "Knowledge/AlgEin" |
84 use_thy "Knowledge/AlgEin" |
85 use_thy "Knowledge/Test" |
|
86 *) |
85 *) |
|
86 use_thy "Knowledge/Test" (*required _only_ for ROOT.ML !?!*) |
87 use_thy "Knowledge/Isac" |
87 use_thy "Knowledge/Isac" |
88 ML {* check_guhs_unique := false; *} |
88 ML {* check_guhs_unique := false; *} |
89 ML {* writeln "**** isac kernel = math-engine + Knowledge complete ******" *} |
89 ML {* writeln "**** isac kernel = math-engine + Knowledge complete ******" *} |
90 |
90 |
91 use "../../../test/Tools/isac/Interpret/calchead.sml" |
|
92 |
|
93 end |
91 end |
94 |
92 |