diff -r 3147f2c1525c -r f57ddfd09474 src/Tools/isac/Interpret/calchead.sml
--- a/src/Tools/isac/Interpret/calchead.sml	Thu Sep 23 08:43:36 2010 +0200
+++ b/src/Tools/isac/Interpret/calchead.sml	Thu Sep 23 08:54:26 2010 +0200
@@ -928,7 +928,6 @@
    of a SubProblem ? see ME/ptyps.sml 'type met '.*)
 fun is_copy_named_idstr str =
     case (rev o explode) str of
-      (*"_":: _ ::"_"::_ => true*)
 	"'":: _ ::"'"::_ => (tracing ((strs2str o (rev o explode)) 
                                   "is_copy_named_idstr: " ^ str ^ " T"); true)
       | _ => (tracing ((strs2str o (rev o explode)) 
@@ -939,7 +938,6 @@
 fun is_copy_named_generating_idstr str =
     if is_copy_named_idstr str
     then case (rev o explode) str of
-      (*"_"::"_"::"_"::_ => false*)
 	"'"::"'"::"'"::_ => false
       | _ => true
     else false;
@@ -1007,7 +1005,8 @@
 
 (* generate a new variable "x_i" name from a related given one "x"
    by use of oris relating "v_v'i'" (is_copy_named!) to "v_v"
-   e.g. (v_v, x) & (v_v'i', ?) --> (v_v'i', x_i) *)
+   e.g. (v_v, x) & (v_v'i', ?) --> (v_v'i', x_i),
+   but leave is_copy_named_generating as is, e.t. ss''' *)
 fun cpy_nam (pbt:pat list) (oris:preori list) (p as (field,(dsc,t)):pat) =
   (if is_copy_named_generating p
    then (*WN051014 kept strange old code ...*)