1.1 --- a/src/Tools/isac/Interpret/calchead.sml	Mon Apr 18 15:48:46 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/calchead.sml	Mon Apr 18 15:53:36 2011 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  (* Title:  Specify-phase: specifying and modeling a problem or a subproblem. The
     1.5             most important types are declared in mstools.sml.
     1.6 -   Author: Walther Neuper 991122
     1.7 +   Author: Walther Neuper 991122, Mathias Lehnfeld
     1.8     (c) due to copyright terms
     1.9  
    1.10  12345678901234567890123456789012345678901234567890123456789012345678901234567890