branch | isac-update-Isa09-2 |
changeset 38050 | 4c52ad406c20 |
parent 38031 | 460c24a6a6ba |
child 41943 | f33f6959948b |
1.1 --- a/test/Tools/isac/Knowledge/logexp.sml Wed Oct 06 14:52:12 2010 +0200 1.2 +++ b/test/Tools/isac/Knowledge/logexp.sml Wed Oct 06 15:12:41 2010 +0200 1.3 @@ -23,7 +23,7 @@ 1.4 1.5 equality_power; 1.6 exp_invers_log; 1.7 -(* WN071203 ???... wrong thy ?!? because parsing with Isac.thy works ? 1.8 +(* WN071203 ???... wrong thy ?!? because parsing with (theory "Isac") works ? 1.9 refine ["equality ((2 log x) = 3)","solveFor x", "solutions L"] 1.10 ["equation","test"]; 1.11 *)