diff -r 293a30867f15 -r ad0485155c0e test/Tools/isac/Interpret/script.sml
--- a/test/Tools/isac/Interpret/script.sml	Mon Oct 11 12:55:40 2010 +0200
+++ b/test/Tools/isac/Interpret/script.sml	Mon Oct 11 13:31:22 2010 +0200
@@ -85,7 +85,7 @@
 	   "RandbedingungenMoment [M_b 0 = 0, M_b L = 0]",
 	   "FunktionsVariable x"];
 val (dI',pI',mI') =
-  ("Biegelinie.thy",["MomentBestimmte","Biegelinien"],
+  ("Biegelinie",["MomentBestimmte","Biegelinien"],
    ["IntegrierenUndKonstanteBestimmen"]);
 val p = e_pos'; val c = [];
 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
@@ -160,7 +160,7 @@
 	   "RandbedingungenMoment [M_b 0 = 0, M_b L = 0]",
 	   "FunktionsVariable x"];
 val (dI',pI',mI') =
-  ("Biegelinie.thy",["MomentBestimmte","Biegelinien"],
+  ("Biegelinie",["MomentBestimmte","Biegelinien"],
    ["IntegrierenUndKonstanteBestimmen"]);
 val p = e_pos'; val c = [];
 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
@@ -221,7 +221,7 @@
 states:=[];
 CalcTree
 [(["equality (x+1=2)", "solveFor x","solutions L"], 
-  ("Test.thy", 
+  ("Test", 
    ["sqroot-test","univariate","equation","test"],
    ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1;