243 ML_file "Minisubpbl/000-comments.sml" |
243 ML_file "Minisubpbl/000-comments.sml" |
244 ML_file "Minisubpbl/100-init-rootpbl.sml" |
244 ML_file "Minisubpbl/100-init-rootpbl.sml" |
245 ML_file "Minisubpbl/150a-add-given-Maximum.sml" |
245 ML_file "Minisubpbl/150a-add-given-Maximum.sml" |
246 ML_file "Minisubpbl/150-add-given-Equation.sml" |
246 ML_file "Minisubpbl/150-add-given-Equation.sml" |
247 ML_file "Minisubpbl/200-start-method-NEXT_STEP.sml" |
247 ML_file "Minisubpbl/200-start-method-NEXT_STEP.sml" |
|
248 ML \<open> |
|
249 \<close> ML \<open> |
|
250 |
|
251 \<close> ML \<open> |
|
252 \<close> |
248 ML_file "Minisubpbl/200-start-method.sml" |
253 ML_file "Minisubpbl/200-start-method.sml" |
249 ML_file "Minisubpbl/250-Rewrite_Set-from-method.sml" |
254 ML_file "Minisubpbl/250-Rewrite_Set-from-method.sml" |
250 ML_file "Minisubpbl/300-init-subpbl-NEXT_STEP.sml" |
255 ML_file "Minisubpbl/300-init-subpbl-NEXT_STEP.sml" |
251 ML_file "Minisubpbl/300-init-subpbl.sml" |
256 ML_file "Minisubpbl/300-init-subpbl.sml" |
252 ML_file "Minisubpbl/400-start-meth-subpbl.sml" |
257 ML_file "Minisubpbl/400-start-meth-subpbl.sml" |
|
258 ML \<open> |
|
259 \<close> ML \<open> |
|
260 |
|
261 \<close> ML \<open> |
|
262 \<close> |
253 ML_file "Minisubpbl/450-Rewrite_Set_Inst.sml" |
263 ML_file "Minisubpbl/450-Rewrite_Set_Inst.sml" |
254 ML_file "Minisubpbl/470-Check_elementwise-NEXT_STEP.sml" |
264 ML_file "Minisubpbl/470-Check_elementwise-NEXT_STEP.sml" |
255 ML_file "Minisubpbl/490-nxt-Check_Postcond.sml" |
265 ML_file "Minisubpbl/490-nxt-Check_Postcond.sml" |
256 ML_file "Minisubpbl/500-met-sub-to-root.sml" |
266 ML_file "Minisubpbl/500-met-sub-to-root.sml" |
257 ML_file "Minisubpbl/530-error-Check_Elementwise.sml" |
267 ML_file "Minisubpbl/530-error-Check_Elementwise.sml" |