1.1 --- a/test/Tools/isac/Knowledge/biegelinie-4.sml	Tue May 12 16:22:00 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/biegelinie-4.sml	Tue May 12 17:42:29 2020 +0200
     1.3 @@ -152,7 +152,7 @@
     1.4             Step_Solve.by_tactic m (pt, pos);
     1.5  "~~~~~ fun Step_Solve.by_tactic , args:"; val (m as Tactic.Apply_Method' (mI, _, _, ctxt)), (pt, (pos as (p, _))))
     1.6    = (m, (pt, pos));
     1.7 -val {srls, ...} = Specify.get_met mI;
     1.8 +val {srls, ...} = Method.from_store mI;
     1.9        val itms = case get_obj I pt p of
    1.10          PblObj {meth=itms, ...} => itms
    1.11        | _ => error "Step_Solve.by_tactic Apply_Method: uncovered case get_obj"
    1.12 @@ -235,7 +235,7 @@
    1.13          val (oris, dI', pI', mI', dI, pI, pbl, met, ctxt) = case get_obj I pt p of
    1.14            PblObj {origin= (oris, (dI', pI', mI'), _), spec= (dI, pI, _), probl = pbl, meth = met, ctxt, ...} =>
    1.15               (oris, dI', pI', mI', dI, pI, pbl, met, ctxt)
    1.16 -        val {ppc, pre, prls,...} = Specify.get_met mID
    1.17 +        val {ppc, pre, prls,...} = Method.from_store mID
    1.18          val thy = ThyC.get_theory dI
    1.19          val dI'' = if dI = ThyC.id_empty then dI' else dI
    1.20          val pI'' = if pI = Problem.id_empty then pI' else pI
    1.21 @@ -250,7 +250,7 @@
    1.22  ","(#Given, (Biegelinie, id_fun))
    1.23  ","(#Given, (AbleitungBiegelinie, id_abl))
    1.24  ","(#Find, (Funktionen, fun_s))"]*)
    1.25 -(*+*)writeln (Model_Pattern.to_string' ((#ppc o Specify.get_pbt) pI));
    1.26 +(*+*)writeln (Model_Pattern.to_string' ((#ppc o Problem.from_store) pI));
    1.27  (*["(#Given, (Streckenlast, q_q))
    1.28  ","(#Given, (FunktionsVariable, v_v))
    1.29  ","(#Find, (Funktionen, funs'''))"]*)