diff -r e0e3d41ef86c -r 2e7631381921 src/Tools/isac/calcelems.sml
--- a/src/Tools/isac/calcelems.sml	Sat Jun 01 11:09:19 2019 +0200
+++ b/src/Tools/isac/calcelems.sml	Sat Jun 22 13:15:52 2019 +0200
@@ -614,7 +614,7 @@
         copy-named items are 'generating' if they are NOT "*'''" ?WN120516??
         see ME/calchead.sml 'fun is_copy_named'.                                     *)
       pre        : term list,       (* preconditions in where                        *)
-      scr        : Rule.scr         (* prep_met gets progam or string "empty_script" *)
+      scr        : Rule.scr         (* progam, empty as @{thm refl} or Rfuns         *)
 	   };
 val e_met = {guh = "met_empty", mathauthors = [], init = e_metID, rew_ord' = "e_rew_ord'",
 	erls = Rule.e_rls, srls = Rule.e_rls, prls = Rule.e_rls, calc = [], crls = Rule.e_rls,