1.1 --- a/test/Tools/isac/Interpret/script.sml	Mon Oct 11 12:55:40 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/script.sml	Mon Oct 11 13:31:22 2010 +0200
     1.3 @@ -85,7 +85,7 @@
     1.4  	   "RandbedingungenMoment [M_b 0 = 0, M_b L = 0]",
     1.5  	   "FunktionsVariable x"];
     1.6  val (dI',pI',mI') =
     1.7 -  ("Biegelinie.thy",["MomentBestimmte","Biegelinien"],
     1.8 +  ("Biegelinie",["MomentBestimmte","Biegelinien"],
     1.9     ["IntegrierenUndKonstanteBestimmen"]);
    1.10  val p = e_pos'; val c = [];
    1.11  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.12 @@ -160,7 +160,7 @@
    1.13  	   "RandbedingungenMoment [M_b 0 = 0, M_b L = 0]",
    1.14  	   "FunktionsVariable x"];
    1.15  val (dI',pI',mI') =
    1.16 -  ("Biegelinie.thy",["MomentBestimmte","Biegelinien"],
    1.17 +  ("Biegelinie",["MomentBestimmte","Biegelinien"],
    1.18     ["IntegrierenUndKonstanteBestimmen"]);
    1.19  val p = e_pos'; val c = [];
    1.20  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.21 @@ -221,7 +221,7 @@
    1.22  states:=[];
    1.23  CalcTree
    1.24  [(["equality (x+1=2)", "solveFor x","solutions L"], 
    1.25 -  ("Test.thy", 
    1.26 +  ("Test", 
    1.27     ["sqroot-test","univariate","equation","test"],
    1.28     ["Test","squ-equ-test-subpbl1"]))];
    1.29  Iterator 1;