1.1 --- a/test/Tools/isac/Knowledge/rational.sml	Thu Dec 30 14:25:19 2010 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/rational.sml	Fri Dec 31 14:54:02 2010 +0100
     1.3 @@ -1832,7 +1832,7 @@
     1.4  "-------- me Schalk I No.186 ----------------------------";
     1.5  "-------- me Schalk I No.186 ----------------------------";
     1.6  "-------- me Schalk I No.186 ----------------------------";
     1.7 -val fmz = ["TERM ((14 * x * y) / ( x * y ))",
     1.8 +val fmz = ["Term ((14 * x * y) / ( x * y ))",
     1.9  	   "normalform N"];
    1.10  val (dI',pI',mI') =
    1.11    ("Rational",["rational","simplification"],
    1.12 @@ -1861,7 +1861,7 @@
    1.13  "-------- interSteps ..Simp_Rat_Double_No-1.xml ---------";
    1.14  states:=[];
    1.15  CalcTree
    1.16 -[(["TERM (((2 - x)/(2*a)) / (2*a/(x - 2)))", "normalform N"], 
    1.17 +[(["Term (((2 - x)/(2*a)) / (2*a/(x - 2)))", "normalform N"], 
    1.18    ("Rational",["rational","simplification"],
    1.19    ["simplification","of_rationals"]))];
    1.20  Iterator 1;
    1.21 @@ -1878,7 +1878,7 @@
    1.22  "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ---------";
    1.23  states:=[];
    1.24  CalcTree
    1.25 -[(["TERM ((a^2 + -1*b^2) / (a^2 + -2*a*b + b^2))", "normalform N"], 
    1.26 +[(["Term ((a^2 + -1*b^2) / (a^2 + -2*a*b + b^2))", "normalform N"], 
    1.27    ("Rational",["rational","simplification"],
    1.28    ["simplification","of_rationals"]))];
    1.29  Iterator 1;