1.1 --- a/src/Tools/isac/Specify/p-spec.sml	Fri Nov 24 15:34:07 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/p-spec.sml	Sat Nov 25 15:33:14 2023 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(* Title:  Specify/input-calchead.sml
     1.5 +(* Title:  Specify/p-spec.sml
     1.6     Author: Walther Neuper
     1.7     (c) due to copyright terms
     1.8