1.1 --- a/test/Tools/isac/Knowledge/logexp.sml	Tue May 12 07:27:21 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/logexp.sml	Tue May 12 10:14:09 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 -Specify.refine ["equality ((2 log x) = 3)","solveFor x", "solutions L"] 
     1.8 +Refine.refine ["equality ((2 log x) = 3)","solveFor x", "solutions L"] 
     1.9         ["equation","test"]; *)
    1.10  *)
    1.11