1.1 --- a/src/Tools/isac/Knowledge/Biegelinie.thy	Mon Jan 20 16:15:34 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Biegelinie.thy	Tue Jan 21 00:27:44 2014 +0100
     1.3 @@ -173,8 +173,48 @@
     1.4    append_rls "e_rls" e_rls [], 
     1.5    NONE, 
     1.6    [["Equation","fromFunction"]]));
     1.7 -
     1.8 +KEStore_Elems.get_ptyps @{theory};
     1.9  *}
    1.10 +setup {* KEStore_Elems.store_pbts
    1.11 +  [(prep_pbt thy "pbl_bieg" [] e_pblID
    1.12 +      (["Biegelinien"],
    1.13 +        [("#Given" ,["Traegerlaenge l_l", "Streckenlast q_q"]),
    1.14 +          (*("#Where",["0 < l_l"]), ...wait for &lt; and handling Arbfix*)
    1.15 +          ("#Find"  ,["Biegelinie b_b"]),
    1.16 +          ("#Relate",["Randbedingungen r_b"])],
    1.17 +        append_rls "e_rls" e_rls [], NONE, [["IntegrierenUndKonstanteBestimmen2"]])),
    1.18 +    (prep_pbt thy "pbl_bieg_mom" [] e_pblID
    1.19 +      (["MomentBestimmte","Biegelinien"],
    1.20 +        [("#Given" ,["Traegerlaenge l_l", "Streckenlast q_q"]),
    1.21 +          (*("#Where",["0 < l_l"]), ...wait for &lt; and handling Arbfix*)
    1.22 +          ("#Find"  ,["Biegelinie b_b"]),
    1.23 +          ("#Relate",["RandbedingungenBiegung r_b","RandbedingungenMoment r_m"])
    1.24 +        ],
    1.25 +        append_rls "e_rls" e_rls [], NONE, [["IntegrierenUndKonstanteBestimmen"]])),
    1.26 +    (prep_pbt thy "pbl_bieg_momg" [] e_pblID
    1.27 +      (["MomentGegebene","Biegelinien"], [], append_rls "e_rls" e_rls [], NONE,
    1.28 +        [["IntegrierenUndKonstanteBestimmen","2xIntegrieren"]])),
    1.29 +    (prep_pbt thy "pbl_bieg_einf" [] e_pblID
    1.30 +      (["einfache","Biegelinien"], [], append_rls "e_rls" e_rls [], NONE,
    1.31 +        [["IntegrierenUndKonstanteBestimmen","4x4System"]])),
    1.32 +    (prep_pbt thy "pbl_bieg_momquer" [] e_pblID
    1.33 +      (["QuerkraftUndMomentBestimmte","Biegelinien"], [], append_rls "e_rls" e_rls [], NONE,
    1.34 +        [["IntegrierenUndKonstanteBestimmen","1xIntegrieren"]])),
    1.35 +    (prep_pbt thy "pbl_bieg_vonq" [] e_pblID
    1.36 +      (["vonBelastungZu","Biegelinien"],
    1.37 +          [("#Given" ,["Streckenlast q_q","FunktionsVariable v_v"]),
    1.38 +            ("#Find"  ,["Funktionen funs'''"])],
    1.39 +        append_rls "e_rls" e_rls [], NONE, [["Biegelinien","ausBelastung"]])),
    1.40 +    (prep_pbt thy "pbl_bieg_randbed" [] e_pblID
    1.41 +      (["setzeRandbedingungen","Biegelinien"],
    1.42 +          [("#Given" ,["Funktionen fun_s","Randbedingungen r_b"]),
    1.43 +            ("#Find"  ,["Gleichungen equs'''"])],
    1.44 +        append_rls "e_rls" e_rls [], NONE, [["Biegelinien","setzeRandbedingungenEin"]])),
    1.45 +    (prep_pbt thy "pbl_equ_fromfun" [] e_pblID
    1.46 +      (["makeFunctionTo","equation"],
    1.47 +          [("#Given" ,["functionEq fu_n","substitution su_b"]),
    1.48 +            ("#Find"  ,["equality equ'''"])],
    1.49 +        append_rls "e_rls" e_rls [], NONE, [["Equation","fromFunction"]]))] *}
    1.50  ML {*
    1.51  (** methods **)
    1.52