1.1 --- a/src/Tools/isac/Interpret/calchead.sml	Thu Sep 23 08:43:36 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/calchead.sml	Thu Sep 23 08:54:26 2010 +0200
     1.3 @@ -928,7 +928,6 @@
     1.4     of a SubProblem ? see ME/ptyps.sml 'type met '.*)
     1.5  fun is_copy_named_idstr str =
     1.6      case (rev o explode) str of
     1.7 -      (*"_":: _ ::"_"::_ => true*)
     1.8  	"'":: _ ::"'"::_ => (tracing ((strs2str o (rev o explode)) 
     1.9                                    "is_copy_named_idstr: " ^ str ^ " T"); true)
    1.10        | _ => (tracing ((strs2str o (rev o explode)) 
    1.11 @@ -939,7 +938,6 @@
    1.12  fun is_copy_named_generating_idstr str =
    1.13      if is_copy_named_idstr str
    1.14      then case (rev o explode) str of
    1.15 -      (*"_"::"_"::"_"::_ => false*)
    1.16  	"'"::"'"::"'"::_ => false
    1.17        | _ => true
    1.18      else false;
    1.19 @@ -1007,7 +1005,8 @@
    1.20  
    1.21  (* generate a new variable "x_i" name from a related given one "x"
    1.22     by use of oris relating "v_v'i'" (is_copy_named!) to "v_v"
    1.23 -   e.g. (v_v, x) & (v_v'i', ?) --> (v_v'i', x_i) *)
    1.24 +   e.g. (v_v, x) & (v_v'i', ?) --> (v_v'i', x_i),
    1.25 +   but leave is_copy_named_generating as is, e.t. ss''' *)
    1.26  fun cpy_nam (pbt:pat list) (oris:preori list) (p as (field,(dsc,t)):pat) =
    1.27    (if is_copy_named_generating p
    1.28     then (*WN051014 kept strange old code ...*)