1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Thu May 30 12:39:13 2019 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Sat Jun 01 11:09:19 2019 +0200
     1.3 @@ -1,4 +1,5 @@
     1.4 -(* Title:  partial fraction decomposition
     1.5 +(* Title:  "Knowledge/partial_fractions.sml"
     1.6 +     partial fraction decomposition
     1.7     Author: Jan Rocnik
     1.8     (c) due to copyright terms
     1.9  *)