diff -r 79b6cbd02681 -r b49723351533 src/Tools/isac/Interpret/calchead.sml
--- a/src/Tools/isac/Interpret/calchead.sml	Mon Sep 13 18:37:16 2010 +0200
+++ b/src/Tools/isac/Interpret/calchead.sml	Tue Sep 14 12:12:42 2010 +0200
@@ -931,9 +931,10 @@
    of a SubProblem ? see ME/ptyps.sml 'type met '.*)
 fun is_copy_named_idstr str =
     case (rev o explode) str of
-	"_"::_::"_"::_ => true
+      (*"_"::_  ::"_"::_ => true*)
+	"'"::"'"::"'"::_ => true
       | _ => false;
-(*> is_copy_named_idstr "v_i_";
+(*> is_copy_named_idstr "v_i'''";
 val it = true : bool
   > is_copy_named_idstr "e_";
 val it = false : bool 
@@ -947,7 +948,7 @@
 	"_"::"_"::"_"::_ => false
       | _ => true
     else false;
-(*> is_copy_named_generating_idstr "v_i_";
+(*> is_copy_named_generating_idstr "v_i'''";
 val it = true : bool
   > is_copy_named_generating_idstr "L___";
 val it = false : bool