diff -r 746271e91d4b -r 0bb418c3855a src/Tools/isac/calcelems.sml
--- a/src/Tools/isac/calcelems.sml	Thu Aug 22 15:56:48 2019 +0200
+++ b/src/Tools/isac/calcelems.sml	Thu Aug 22 16:48:04 2019 +0200
@@ -191,7 +191,7 @@
 #   that scripts should be re-usable ?                                      #
 #############################################################################
 
-    eg. 'Script Solve_rat_equation' calls 'SubProblem (RatEq',..'
+    eg. 'Program Solve_rat_equation' calls 'SubProblem (RatEq',..'
     which would not allow to 'solve (y'' = -M_b / EI, M_b)' by this script
     because Biegelinie.thy is subthy of RatEq.thy and thus Biegelinie.M_b
     is unknown in RatEq.thy and M_b cannot be parsed into the scripts guard
@@ -425,7 +425,7 @@
 
 fun assoc_thy thy =
     if thy = "e_domID"
-    then (Rule.Thy_Info_get_theory "Script") (*lower bound of Knowledge*)
+    then (Rule.Thy_Info_get_theory "Program") (*lower bound of Knowledge*)
     else (Rule.Thy_Info_get_theory thy) handle _ => error ("ME_Isa: thy \"" ^ thy ^ "\" not in system");
 
 (* overwrite an element in an association list and pair it with a thyID