1.1 --- a/test/Tools/isac/Knowledge/polyeq-2.sml	Mon Aug 23 14:24:06 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-2.sml	Sun Sep 12 15:40:15 2021 +0200
     1.3 @@ -9,6 +9,8 @@
     1.4  "-----------------------------------------------------------------";
     1.5  "table of contents -----------------------------------------------";
     1.6  "-----------------------------------------------------------------";
     1.7 +"------ polyeq-2.sml ---------------------------------------------";
     1.8 +"------ polyeq-1.sml ---------------------------------------------";
     1.9  "----------- (a*b - (a+b)*x + x \<up> 2 = 0), (*Schalk 2,S.68Nr.44.a*)";
    1.10  "----------- (-64 + x \<up> 2 = 0), (*Schalk 2, S.66 Nr.1.a~--------*)";
    1.11  "----------- (- 147 + 3*x \<up> 2 = 0), (*Schalk 2, S.66 Nr.1.b------*)";