1.1 --- a/src/Tools/isac/Interpret/calchead.sml	Wed Aug 24 17:25:40 2016 +0200
     1.2 +++ b/src/Tools/isac/Interpret/calchead.sml	Wed Aug 24 17:27:54 2016 +0200
     1.3 @@ -316,10 +316,6 @@
     1.4      if id = #1 p then SOME p else seek_ppc id ppc;
     1.5  
     1.6  
     1.7 -
     1.8 -(*---------------------------------------------(3) nach ptyps.sml 23.3.02*)
     1.9 -
    1.10 -
    1.11  datatype appl = Appl of tac_ | Notappl of string;
    1.12  
    1.13  fun ppc2list ({Given=gis,Where=whs,Find=fis,
    1.14 @@ -786,7 +782,7 @@
    1.15  
    1.16  (** make oris from args of the stac SubProblem and from pbt **)
    1.17  (* can this formal argument (of a model-pattern) be omitted in the arg-list
    1.18 -   of a SubProblem ? see ME/ptyps.sml 'type met ' *)
    1.19 +   of a SubProblem ? see calcelems.sml 'type met ' *)
    1.20  fun is_copy_named_idstr str =
    1.21      case (rev o Symbol.explode) str of
    1.22  	"'":: _ ::"'"::_ => (tracing ((strs2str o (rev o Symbol.explode))