1.1 --- a/test/Tools/isac/Interpret/inform.sml	Tue Aug 31 16:00:13 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/inform.sml	Tue Aug 31 16:38:22 2010 +0200
     1.3 @@ -471,7 +471,7 @@
     1.4  "--------- inform [rational,simplification] ----------------------";
     1.5  "--------- inform [rational,simplification] ----------------------";
     1.6  states:=[];
     1.7 -CalcTree [(["term (4/x - 3/y - 1)", "normalform N"],
     1.8 +CalcTree [(["TERM (4/x - 3/y - 1)", "normalform N"],
     1.9  	   ("Rational.thy",["rational","simplification"],
    1.10  	    ["simplification","of_rationals"]))];
    1.11  Iterator 1; moveActiveRoot 1;