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