equal
deleted
inserted
replaced
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" |
85 use_thy "Knowledge/Test" |
86 *) |
86 *) |
87 use_thy "Knowledge/Isac" |
87 use_thy "Knowledge/Isac" |
88 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 |
|
91 use "../../../test/Tools/isac/Interpret/calchead.sml" |
90 |
92 |
91 end |
93 end |
92 |
94 |