1.1 --- a/test/Tools/isac/Knowledge/polyeq-1.sml	Sat Aug 21 18:58:33 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-1.sml	Sun Aug 22 09:43:43 2021 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(* Title:  Knowledge/polyeq- 1.sml
     1.5 +(* Title:  Knowledge/polyeq-1.sml
     1.6             testexamples for PolyEq, poynomial equations and equational systems
     1.7     Author: Richard Lang 2003  
     1.8     (c) due to copyright terms