equal
deleted
inserted
replaced
163 ML {*"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";*} |
163 ML {*"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";*} |
164 ML {*"%%%%%%%%%%%%%%%%% all tests successful %%%%%%%%%%%%%%%%%";*} |
164 ML {*"%%%%%%%%%%%%%%%%% all tests successful %%%%%%%%%%%%%%%%%";*} |
165 ML {*"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";*} |
165 ML {*"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";*} |
166 |
166 |
167 ML {* |
167 ML {* |
|
168 |
168 *} |
169 *} |
169 ML {* |
170 ML {* |
170 "----------- Minisubplb/500-met-sub-to-root.sml ------------------"; |
171 "----------- Minisubplb/500-met-sub-to-root.sml ------------------"; |
171 val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"]; |
172 val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"]; |
172 val (dI',pI',mI') = |
173 val (dI',pI',mI') = |