1.1 --- a/src/sml/systest/auto-inform.sml	Sat Mar 05 18:08:56 2005 +0100
     1.2 +++ b/src/sml/systest/auto-inform.sml	Sat Mar 05 18:08:56 2005 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4     use"auto-inform.sml";
     1.5     *)
     1.6  
     1.7 -"autoCalculate";
     1.8 +"autoCalculate"; 
     1.9  "--------- solve_linear as rootpbl AUTOCALCULATE CompleteModel ---";
    1.10  "--------- solve_linear as rootpbl AUTOCALCULATE CompleteCalcHead-";
    1.11  "--------- maximum-example: complete_metitms ---------------------";
    1.12 @@ -300,7 +300,6 @@
    1.13  "--------- appendFormula: on Frm + equ_nrls ----------------------";
    1.14  "--------- appendFormula: on Frm + equ_nrls ----------------------";
    1.15  "--------- appendFormula: on Frm + equ_nrls ----------------------";
    1.16 -(**@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@**) 
    1.17   states:=[];
    1.18   CalcTree [(["equality (x+1=2)", "solveFor x","solutions L"], 
    1.19  	    ("Test.thy", 
    1.20 @@ -313,7 +312,6 @@
    1.21   appendFormula 1 "2+ -1 + x = 2"; refFormula 1 (get_pos 1 1);
    1.22  
    1.23   moveDown 1 ([],Pbl); refFormula 1 ([1],Frm) (*x + 1 = 2*);
    1.24 ->>>>>>> 1.8
    1.25  
    1.26   moveDown 1 ([1  ],Frm); refFormula 1 ([1,1],Frm); 
    1.27   moveDown 1 ([1,1],Frm); refFormula 1 ([1,1],Res);