55 ("((Script Belastung2BiegelScript (_ _ =))// (_))" 9) |
55 ("((Script Belastung2BiegelScript (_ _ =))// (_))" 9) |
56 SetzeRandbedScript :: "[bool list,bool list, |
56 SetzeRandbedScript :: "[bool list,bool list, |
57 bool list] => bool list" |
57 bool list] => bool list" |
58 ("((Script SetzeRandbedScript (_ _ =))// (_))" 9) |
58 ("((Script SetzeRandbedScript (_ _ =))// (_))" 9) |
59 |
59 |
60 rules |
60 axioms |
61 |
61 |
62 Querkraft_Belastung "Q' x = -q_ x" |
62 Querkraft_Belastung: "Q' x = -q_ x" |
63 Belastung_Querkraft "-q_ x = Q' x" |
63 Belastung_Querkraft: "-q_ x = Q' x" |
64 |
64 |
65 Moment_Querkraft "M_b' x = Q x" |
65 Moment_Querkraft: "M_b' x = Q x" |
66 Querkraft_Moment "Q x = M_b' x" |
66 Querkraft_Moment: "Q x = M_b' x" |
67 |
67 |
68 Neigung_Moment "y'' x = -M_b x/ EI" |
68 Neigung_Moment: "y'' x = -M_b x/ EI" |
69 Moment_Neigung "M_b x = -EI * y'' x" |
69 Moment_Neigung: "M_b x = -EI * y'' x" |
70 |
70 |
71 (*according to rls 'simplify_Integral': .. = 1/a * .. instead .. = ../ a*) |
71 (*according to rls 'simplify_Integral': .. = 1/a * .. instead .. = ../ a*) |
72 make_fun_explicit "Not (a =!= 0) ==> (a * (f x) = b) = (f x = 1/a * b)" |
72 make_fun_explicit: "Not (a =!= 0) ==> (a * (f x) = b) = (f x = 1/a * b)" |
73 |
73 |
74 ML {* |
74 ML {* |
75 val thy = @{theory}; |
75 val thy = @{theory}; |
76 |
76 |
77 (** theory elements for transfer into html **) |
77 (** theory elements for transfer into html **) |