1.1 --- a/test/Tools/isac/Knowledge/logexp.sml	Mon May 11 18:06:24 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/logexp.sml	Mon May 11 20:49:27 2020 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4  equality_power;
     1.5  exp_invers_log;
     1.6  (* WN071203 ???... wrong thy ?!? because parsing with (theory "Isac_Knowledge") works ?
     1.7 -refine ["equality ((2 log x) = 3)","solveFor x", "solutions L"] 
     1.8 +Specify.refine ["equality ((2 log x) = 3)","solveFor x", "solutions L"] 
     1.9         ["equation","test"]; *)
    1.10  *)
    1.11