diff -r a2b0b338d966 -r 99c8d2ff63eb test/Tools/isac/Knowledge/logexp.sml
--- a/test/Tools/isac/Knowledge/logexp.sml	Mon Aug 26 09:20:07 2019 +0200
+++ b/test/Tools/isac/Knowledge/logexp.sml	Mon Aug 26 17:40:27 2019 +0200
@@ -24,7 +24,7 @@
 
 equality_power;
 exp_invers_log;
-(* WN071203 ???... wrong thy ?!? because parsing with (theory "Isac") works ?
+(* WN071203 ???... wrong thy ?!? because parsing with (theory "Isac_Knowledge") works ?
 refine ["equality ((2 log x) = 3)","solveFor x", "solutions L"] 
        ["equation","test"]; *)
 *)
@@ -37,7 +37,7 @@
 
 val fmz = ["equality ((2 log x) = 3)","solveFor x", "solutions L"];
 val (dI',pI',mI') =
-  ("Isac",["logarithmic","univariate","equation","test"],
+  ("Isac_Knowledge",["logarithmic","univariate","equation","test"],
    ["Test","solve_log"]);
 val p = e_pos'; val c = []; 
 (*============ inhibit exn 110726 ==============================================