1.1 --- a/src/Tools/isac/Interpret/inform.sml	Wed Sep 08 10:15:51 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Wed Sep 08 12:10:43 2010 +0200
     1.3 @@ -538,7 +538,7 @@
     1.4  1. "sqrt (x + 1) + sqrt (4 * x + 4) = sqrt (9 * x + 9)"
     1.5  ...
     1.6  6. "13 + 13 * x + -2 * sqrt ((4 + 4 * x) * (9 + 9 * x)) = 1 + x"
     1.7 -                             Subproblem["sq", "root", "univariate", "equation"]
     1.8 +                             Subproblem["sq", "root'", "univariate", "equation"]
     1.9  ...
    1.10  6.6. "144 + 288 * x + 144 * x ^^^ 2 = 144 + x ^^^ 2 + 288 * x + 143 * x ^^^ 2"
    1.11                  Subproblem["normalize", "polynomial", "univariate", "equation"]