1.1 --- a/test/Tools/isac/Knowledge/logexp.sml	Wed Sep 08 16:45:27 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/logexp.sml	Wed Sep 08 16:47:22 2010 +0200
     1.3 @@ -36,7 +36,7 @@
     1.4  
     1.5  val fmz = ["equality ((2 log x) = 3)","solveFor x", "solutions L"];
     1.6  val (dI',pI',mI') =
     1.7 -  ("Isac.thy",["logarithmic","univariate","equation","test"],
     1.8 +  ("Isac",["logarithmic","univariate","equation","test"],
     1.9     ["Test","solve_log"]);
    1.10  val p = e_pos'; val c = []; 
    1.11  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];