235 val (oris, dI', pI', mI', dI, pI, pbl, met, ctxt) = case get_obj I pt p of |
235 val (oris, dI', pI', mI', dI, pI, pbl, met, ctxt) = case get_obj I pt p of |
236 PblObj {origin= (oris, (dI', pI', mI'), _), spec= (dI, pI, _), probl = pbl, meth = met, ctxt, ...} => |
236 PblObj {origin= (oris, (dI', pI', mI'), _), spec= (dI, pI, _), probl = pbl, meth = met, ctxt, ...} => |
237 (oris, dI', pI', mI', dI, pI, pbl, met, ctxt) |
237 (oris, dI', pI', mI', dI, pI, pbl, met, ctxt) |
238 val {ppc, pre, prls,...} = Specify.get_met mID |
238 val {ppc, pre, prls,...} = Specify.get_met mID |
239 val thy = Celem.assoc_thy dI |
239 val thy = Celem.assoc_thy dI |
240 val dI'' = if dI = Rule.e_domID then dI' else dI |
240 val dI'' = if dI = ThyC.e_domID then dI' else dI |
241 val pI'' = if pI = Celem.e_pblID then pI' else pI |
241 val pI'' = if pI = Celem.e_pblID then pI' else pI |
242 ; |
242 ; |
243 (*+*)writeln (oris2str oris); (*[ |
243 (*+*)writeln (oris2str oris); (*[ |
244 (1, ["1"], #Given,Streckenlast, ["q_0"]), |
244 (1, ["1"], #Given,Streckenlast, ["q_0"]), |
245 (2, ["1"], #Given,FunktionsVariable, ["x"]), |
245 (2, ["1"], #Given,FunktionsVariable, ["x"]), |