1.1 --- a/test/Tools/isac/Frontend/use-cases.sml	Fri Jun 13 10:29:06 2014 +0200
     1.2 +++ b/test/Tools/isac/Frontend/use-cases.sml	Fri Jun 13 12:06:38 2014 +0200
     1.3 @@ -76,7 +76,7 @@
     1.4  
     1.5  
     1.6  (*------------ set at startup of the Kernel ----------------------*)
     1.7 - states:= [];  (*resets all state information in Kernel           *)
     1.8 +reset_states ();  (*resets all state information in Kernel           *)
     1.9  (*----------------------------------------------------------------*)
    1.10  
    1.11  "--------- empty rootpbl --------------------------------";
    1.12 @@ -202,7 +202,7 @@
    1.13  "--------- miniscript with mini-subpbl ------------------";
    1.14  (*WN120210?not ME:\label{SOLVE:MANUAL:TACTIC:enter} UC 30.3.2.1 p.175 !!!!!NOT IMPL IN FE*)
    1.15  "=== this sequence of fun-calls resembles fun me ===";
    1.16 - states:=[]; (*start of calculation, return No.1*)
    1.17 + reset_states (); (*start of calculation, return No.1*)
    1.18   CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
    1.19     ("Test", ["sqroot-test","univariate","equation","test"],
    1.20      ["Test","squ-equ-test-subpbl1"]))];
    1.21 @@ -512,7 +512,7 @@
    1.22  "--------- setContext..Thy ------------------------------";
    1.23  "--------- setContext..Thy ------------------------------";
    1.24  "--------- setContext..Thy ------------------------------";
    1.25 - states:=[];
    1.26 + reset_states ();
    1.27   CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
    1.28    ("Test", ["sqroot-test","univariate","equation","test"],
    1.29     ["Test","squ-equ-test-subpbl1"]))];
    1.30 @@ -1345,7 +1345,7 @@
    1.31  "--------- UC errpat chain-rule-diff-both, fillpat by input ------";
    1.32  "--------- UC errpat chain-rule-diff-both, fillpat by input ------";
    1.33  "--------- UC errpat chain-rule-diff-both, fillpat by input ------";
    1.34 -states := [];
    1.35 +reset_states ();
    1.36  CalcTree
    1.37  [(["functionTerm (x ^ 2 + sin (x ^ 4))", "differentiateFor x", "derivative f_f'"], 
    1.38    ("Isac", ["derivative_of","function"], ["diff","differentiate_on_R"]))];
    1.39 @@ -1426,7 +1426,7 @@
    1.40  "--------- UC errpat add-fraction, fillpat by input --------------";
    1.41  "--------- UC errpat add-fraction, fillpat by input --------------";
    1.42  (*cp from BridgeLog Java <=> SML*)
    1.43 -states := [];
    1.44 +reset_states ();
    1.45  CalcTree [([], ("e_domID", ["e_pblID"], ["e_metID"]))];
    1.46  Iterator 1;
    1.47  moveActiveRoot 1;
    1.48 @@ -1443,7 +1443,7 @@
    1.49  "--------- UC errpat, fillpat step to Rewrite --------------------";
    1.50  "--------- UC errpat, fillpat step to Rewrite --------------------";
    1.51  (*TODO*)
    1.52 -states:=[];
    1.53 +reset_states ();
    1.54  CalcTree
    1.55  [(["functionTerm ((x ^ 2) ^ 3 + sin (x ^ 4))",
    1.56     "differentiateFor x", "derivative f_f'"], 
    1.57 @@ -1457,7 +1457,7 @@
    1.58  "--------- UC errpat, fillpat step to Rewrite_Set ----------------";
    1.59  "--------- UC errpat, fillpat step to Rewrite_Set ----------------";
    1.60  "--------- UC errpat, fillpat step to Rewrite_Set ----------------";
    1.61 -states:=[];
    1.62 +reset_states ();
    1.63  CalcTree
    1.64  [(["functionTerm ((x ^ 2) ^ 3 + sin (x ^ 4))",
    1.65     "differentiateFor x", "derivative f_f'"],