1566 case cas of |
1566 case cas of |
1567 NONE => pblterm dI pI |
1567 NONE => pblterm dI pI |
1568 | SOME t => subst_atomic ((vars_of_pbl_' ppc) ~~~ vals_of_oris pors) t; |
1568 | SOME t => subst_atomic ((vars_of_pbl_' ppc) ~~~ vals_of_oris pors) t; |
1569 val (pt, _) = cappend_problem e_ptree [] (e_istate, pctxt) (fmz, (dI, pI, mI)) |
1569 val (pt, _) = cappend_problem e_ptree [] (e_istate, pctxt) (fmz, (dI, pI, mI)) |
1570 (pors, (dI, pI, mI), hdl) |
1570 (pors, (dI, pI, mI), hdl) |
1571 (* val pt = update_env pt [] (SOME (e_istate, pctxt)) GOON.WN110506*) |
1571 (* val pt = update_env pt [] (SOME (e_istate, pctxt)) GOON.WN110506*) |
1572 in ((pt, ([], Pbl)), |
1572 in ((pt, ([], Pbl)), |
1573 fst3 (nxt_specif Model_Problem (pt, ([], Pbl)))) : calcstate |
1573 fst3 (nxt_specif Model_Problem (pt, ([], Pbl)))) : calcstate |
1574 end; |
1574 end; |
1575 |
1575 |
1576 |
1576 |