equal
deleted
inserted
replaced
271 ############################################################################# |
271 ############################################################################# |
272 # How to manage theorys in subproblems wrt. the requirement, # |
272 # How to manage theorys in subproblems wrt. the requirement, # |
273 # that scripts should be re-usable ? # |
273 # that scripts should be re-usable ? # |
274 ############################################################################# |
274 ############################################################################# |
275 |
275 |
276 eg. 'Script Solve_rat_equation' calls 'SubProblem (RatEq_,..' |
276 eg. 'Script Solve_rat_equation' calls 'SubProblem (RatEq',..' |
277 which would not allow to 'solve (y'' = -M_b / EI, M_b)' by this script |
277 which would not allow to 'solve (y'' = -M_b / EI, M_b)' by this script |
278 because Biegelinie.thy is subthy of RatEq.thy and thus Biegelinie.M_b |
278 because Biegelinie.thy is subthy of RatEq.thy and thus Biegelinie.M_b |
279 is unknown in RatEq.thy and M_b cannot be parsed into the scripts guard |
279 is unknown in RatEq.thy and M_b cannot be parsed into the scripts guard |
280 (see match_ags). |
280 (see match_ags). |
281 |
281 |