1.1 --- a/test/Tools/isac/Knowledge/polyeq-1.sml	Mon Aug 23 14:24:06 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-1.sml	Sun Sep 12 15:40:15 2021 +0200
     1.3 @@ -22,7 +22,6 @@
     1.4  "----------- equality (- 2 + x + x \<up> 2 = 0) ---------------------------------------------------";
     1.5  "----------- equality (2 + x + x \<up> 2 = 0) ----------------------------------------------------";
     1.6  "----------- equality (- 2 + x + 1*x \<up> 2 = 0)) ------------------------------------------------";
     1.7 -"------ polyeq- 2.sml ---------------------------------------------";
     1.8  "----------- equality (1*x +   x \<up> 2 = 0) ----------------------------------------------------";
     1.9  "----------- equality (1*x + 1*x \<up> 2 = 0) ----------------------------------------------------";
    1.10  "----------- equality (x +   x \<up> 2 = 0) ------------------------------------------------------";
    1.11 @@ -36,7 +35,7 @@
    1.12  "----------- (-8 - 2*x + x \<up> 2 = 0),  by rewriting ---------------";
    1.13  "----------- (- 16 + 4*x + 2*x \<up> 2 = 0), --------------------------";
    1.14  "-----------------------------------------------------------------";
    1.15 -"------ polyeq- 2.sml ---------------------------------------------";
    1.16 +"------ polyeq-2.sml ---------------------------------------------";
    1.17  "----------- (a*b - (a+b)*x + x \<up> 2 = 0), (*Schalk 2,S.68Nr.44.a*)";
    1.18  "----------- (-64 + x \<up> 2 = 0), (*Schalk 2, S.66 Nr.1.a~--------*)";
    1.19  "----------- (- 147 + 3*x \<up> 2 = 0), (*Schalk 2, S.66 Nr.1.b------*)";