diff -r bf83d30839c7 -r 03e6d5db883e src/Tools/isac/calcelems.sml
--- a/src/Tools/isac/calcelems.sml	Wed Sep 08 12:25:58 2010 +0200
+++ b/src/Tools/isac/calcelems.sml	Wed Sep 08 12:41:04 2010 +0200
@@ -273,7 +273,7 @@
 #   that scripts should be re-usable ?                                      #
 #############################################################################
 
-    eg. 'Script Solve_rat_equation' calls 'SubProblem (RatEq_,..'
+    eg. 'Script 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