1.1 --- a/test/Tools/isac/Specify/specify.sml	Wed Oct 19 15:39:15 2022 +0200
     1.2 +++ b/test/Tools/isac/Specify/specify.sml	Thu Oct 20 10:23:38 2022 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4  "----------- maximum-example: Specify.finish_phase ---------------------------------------------";
     1.5  (*//-------- WAS OUT OF Test UNTIL 200209, ERROR PROBABLY FROM INTRO. OF Isabelle's funpack --\\* )
     1.6   val (p,_,f,nxt,_,pt) = 
     1.7 -     CalcTreeTEST 
     1.8 +     Test_Code.init_calc @{context} 
     1.9       [(["fixedValues [r=Arbfix]", "maximum A",
    1.10  	"valuesFor [a,b]",
    1.11  	"relations [A=a*b, (a/2) \<up> 2 + (b/2) \<up> 2 = r \<up> 2]",
    1.12 @@ -75,7 +75,7 @@
    1.13  "----------- maximum-example: I_Model.complete -------------------------------------------------";
    1.14  "----------- maximum-example: I_Model.complete -------------------------------------------------";
    1.15   val c = [];
    1.16 - val (p,_,f,nxt,_,pt) = CalcTreeTEST 
    1.17 + val (p,_,f,nxt,_,pt) = Test_Code.init_calc @{context} 
    1.18   [(["fixedValues [r=Arbfix]", "maximum A",
    1.19  	"valuesFor [a,b]",
    1.20  	"relations [A=a*b, (a/2) \<up> 2 + (b/2) \<up> 2 = r \<up> 2]",
    1.21 @@ -161,9 +161,9 @@
    1.22  	     "AbleitungBiegelinie dy"];
    1.23  val references = ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]);
    1.24  val p = e_pos'; val c = [];
    1.25 -(*[], Pbl*)val (p,_,f,nxt,_,pt) = CalcTreeTEST [(formalise, references)]; (*nxt = Model_Problem*)
    1.26 +(*[], Pbl*)val (p,_,f,nxt,_,pt) = Test_Code.init_calc @{context} [(formalise, references)]; (*nxt = Model_Problem*)
    1.27  
    1.28 -(*/------------------- check result of CalcTreeTEST ----------------------------------------\*)
    1.29 +(*/------------------- check result of Test_Code.init_calc @{context} ----------------------------------------\*)
    1.30  (*+*)val (o_model, ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]), _) =
    1.31    get_obj g_origin pt (fst p);
    1.32  (*+*)if O_Model.to_string o_model = "[\n" ^
    1.33 @@ -175,7 +175,7 @@
    1.34    "(6, [\"1\"], #undef, GleichungsVariablen, [\"[c]\", \"[c_2]\", \"[c_3]\", \"[c_4]\"]), \n" ^
    1.35    "(7, [\"1\"], #undef, AbleitungBiegelinie, [\"dy\"])]"
    1.36  then () else error "[IntegrierenUndKonstanteBestimmen2] O_Model CHANGED";
    1.37 -(*\------------------- check result of CalcTreeTEST ----------------------------------------/*)
    1.38 +(*\------------------- check result of Test_Code.init_calc @{context} ----------------------------------------/*)
    1.39  
    1.40  (*[], Pbl*)val (p,_,f,nxt,_,pt) = me nxt p c pt; (*\<rightarrow>Add_Given "Traegerlaenge L"*)
    1.41  (*[], Pbl*)val (p,_,f,nxt,_,pt) = me nxt p c pt; (*\<rightarrow>Add_Given "Streckenlast q_0"*)