1.1 --- a/test/Tools/isac/Knowledge/logexp.sml	Mon Aug 26 09:20:07 2019 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/logexp.sml	Mon Aug 26 17:40:27 2019 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  
     1.5  equality_power;
     1.6  exp_invers_log;
     1.7 -(* WN071203 ???... wrong thy ?!? because parsing with (theory "Isac") works ?
     1.8 +(* WN071203 ???... wrong thy ?!? because parsing with (theory "Isac_Knowledge") works ?
     1.9  refine ["equality ((2 log x) = 3)","solveFor x", "solutions L"] 
    1.10         ["equation","test"]; *)
    1.11  *)
    1.12 @@ -37,7 +37,7 @@
    1.13  
    1.14  val fmz = ["equality ((2 log x) = 3)","solveFor x", "solutions L"];
    1.15  val (dI',pI',mI') =
    1.16 -  ("Isac",["logarithmic","univariate","equation","test"],
    1.17 +  ("Isac_Knowledge",["logarithmic","univariate","equation","test"],
    1.18     ["Test","solve_log"]);
    1.19  val p = e_pos'; val c = []; 
    1.20  (*============ inhibit exn 110726 ==============================================