diff -r 02a1cce684a7 -r 4c52ad406c20 test/Tools/isac/Knowledge/logexp.sml
--- a/test/Tools/isac/Knowledge/logexp.sml	Wed Oct 06 14:52:12 2010 +0200
+++ b/test/Tools/isac/Knowledge/logexp.sml	Wed Oct 06 15:12:41 2010 +0200
@@ -23,7 +23,7 @@
 
 equality_power;
 exp_invers_log;
-(* WN071203 ???... wrong thy ?!? because parsing with Isac.thy works ?
+(* WN071203 ???... wrong thy ?!? because parsing with (theory "Isac") works ?
 refine ["equality ((2 log x) = 3)","solveFor x", "solutions L"] 
        ["equation","test"];
 *)