equal
deleted
inserted
replaced
86 use"../../../test/Tools/isac/Knowledge/rational.sml" (*part.*) |
86 use"../../../test/Tools/isac/Knowledge/rational.sml" (*part.*) |
87 (* |
87 (* |
88 use"equation.sml"; |
88 use"equation.sml"; |
89 use"root.sml"; |
89 use"root.sml"; |
90 *) |
90 *) |
|
91 ML {* |
|
92 t'; |
|
93 *} |
91 |
94 |
92 ML {* |
95 ML {* |
93 e186a; |
96 e186a; |
94 str2term "x ~= 0"; |
97 str2term "x ~= 0"; |
95 *} |
98 *} |
177 |
180 |
178 (*=== inhibit exn ?============================================================= |
181 (*=== inhibit exn ?============================================================= |
179 ===== inhibit exn ?===========================================================*) |
182 ===== inhibit exn ?===========================================================*) |
180 |
183 |
181 |
184 |
182 (*========== inhibit exn 110314 ================================================ |
185 (*========== inhibit exn 110317 ================================================ |
183 |
186 |
184 "########### testcode inserted vvv ###########################################"; |
187 "########### testcode inserted vvv ###########################################"; |
185 "########### testcode inserted ^^^ ###########################################"; |
188 "########### testcode inserted ^^^ ###########################################"; |
186 |
189 |
187 ============ inhibit exn 110314 ==============================================*) |
190 ============ inhibit exn 110317 ==============================================*) |
188 |
191 |
189 |
192 |
190 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. |
193 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. |
191 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |
194 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |