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

     2.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Mon Apr 18 15:48:46 2011 +0200
     2.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Mon Apr 18 15:53:36 2011 +0200
     2.3 @@ -1,5 +1,5 @@
     2.4  (* the problems and methods as stored in hierarchies
     2.5 -   author Walther Neuper 1998
     2.6 +   author Walther Neuper 1998, Mathias Lehnfeld
     2.7     (c) due to copyright terms
     2.8  
     2.9  use"ME/ptyps.sml";

     3.1 --- a/src/Tools/isac/ProgLang/termC.sml	Mon Apr 18 15:48:46 2011 +0200
     3.2 +++ b/src/Tools/isac/ProgLang/termC.sml	Mon Apr 18 15:53:36 2011 +0200
     3.3 @@ -1,5 +1,5 @@
     3.4  (* Title: extends Isabelle/src/Pure/term.ML
     3.5 -   Author: Walther Neuper 1999
     3.6 +   Author: Walther Neuper 1999, Mathias Lehnfeld
     3.7     (c) due to copyright terms
     3.8  *)
     3.9