1.1 --- a/src/Tools/isac/Specify/p-model.sml	Sun May 10 17:26:36 2020 +0200
     1.2 +++ b/src/Tools/isac/Specify/p-model.sml	Mon May 11 11:07:19 2020 +0200
     1.3 @@ -1,7 +1,4 @@
     1.4 -(* Title: Model for (sub-)calculations.
     1.5 -          Various representations: item and ppc for frontend, itm_ and itm for internal functions.
     1.6 -          The former are related to structure Specify, the latter to structure Chead --
     1.7 -          -- apt to re-arrangement of structures
     1.8 +(* Title: Specify/p-model.sml
     1.9     Author: Walther Neuper 170207
    1.10     (c) due to copyright terms
    1.11