1.1 --- a/src/Tools/isac/Knowledge/Biegelinie.thy	Mon Jan 27 21:58:57 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Biegelinie.thy	Mon Jan 27 22:26:51 2014 +0100
     1.3 @@ -96,85 +96,7 @@
     1.4  	  ["Walther Neuper 2005 supported by a grant from NMI Austria"];
     1.5  
     1.6  *}
     1.7 -ML {*
     1.8  (** problems **)
     1.9 -
    1.10 -store_pbt
    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 -  ],
    1.18 -  append_rls "e_rls" e_rls [], 
    1.19 -  NONE, 
    1.20 -  [["IntegrierenUndKonstanteBestimmen2"]]));
    1.21 -
    1.22 -store_pbt 
    1.23 - (prep_pbt thy "pbl_bieg_mom" [] e_pblID
    1.24 - (["MomentBestimmte","Biegelinien"],
    1.25 -  [("#Given" ,["Traegerlaenge l_l", "Streckenlast q_q"]),
    1.26 -   (*("#Where",["0 < l_l"]), ...wait for &lt; and handling Arbfix*)
    1.27 -   ("#Find"  ,["Biegelinie b_b"]),
    1.28 -   ("#Relate",["RandbedingungenBiegung r_b","RandbedingungenMoment r_m"])
    1.29 -  ],
    1.30 -  append_rls "e_rls" e_rls [], 
    1.31 -  NONE, 
    1.32 -  [["IntegrierenUndKonstanteBestimmen"]]));
    1.33 -
    1.34 -store_pbt
    1.35 - (prep_pbt thy "pbl_bieg_momg" [] e_pblID
    1.36 - (["MomentGegebene","Biegelinien"],
    1.37 -  [],
    1.38 -  append_rls "e_rls" e_rls [], 
    1.39 -  NONE, 
    1.40 -  [["IntegrierenUndKonstanteBestimmen","2xIntegrieren"]]));
    1.41 -
    1.42 -store_pbt
    1.43 - (prep_pbt thy "pbl_bieg_einf" [] e_pblID
    1.44 - (["einfache","Biegelinien"],
    1.45 -  [],
    1.46 -  append_rls "e_rls" e_rls [], 
    1.47 -  NONE, 
    1.48 -  [["IntegrierenUndKonstanteBestimmen","4x4System"]]));
    1.49 -
    1.50 -store_pbt
    1.51 - (prep_pbt thy "pbl_bieg_momquer" [] e_pblID
    1.52 - (["QuerkraftUndMomentBestimmte","Biegelinien"],
    1.53 -  [],
    1.54 -  append_rls "e_rls" e_rls [], 
    1.55 -  NONE, 
    1.56 -  [["IntegrierenUndKonstanteBestimmen","1xIntegrieren"]]));
    1.57 -
    1.58 -store_pbt
    1.59 - (prep_pbt thy "pbl_bieg_vonq" [] e_pblID
    1.60 - (["vonBelastungZu","Biegelinien"],
    1.61 -  [("#Given" ,["Streckenlast q_q","FunktionsVariable v_v"]),
    1.62 -   ("#Find"  ,["Funktionen funs'''"])],
    1.63 -  append_rls "e_rls" e_rls [], 
    1.64 -  NONE, 
    1.65 -  [["Biegelinien","ausBelastung"]]));
    1.66 -
    1.67 -store_pbt
    1.68 - (prep_pbt thy "pbl_bieg_randbed" [] e_pblID
    1.69 - (["setzeRandbedingungen","Biegelinien"],
    1.70 -  [("#Given" ,["Funktionen fun_s","Randbedingungen r_b"]),
    1.71 -   ("#Find"  ,["Gleichungen equs'''"])],
    1.72 -  append_rls "e_rls" e_rls [], 
    1.73 -  NONE, 
    1.74 -  [["Biegelinien","setzeRandbedingungenEin"]]));
    1.75 -
    1.76 -store_pbt
    1.77 - (prep_pbt thy "pbl_equ_fromfun" [] e_pblID
    1.78 - (["makeFunctionTo","equation"],
    1.79 -  [("#Given" ,["functionEq fu_n","substitution su_b"]),
    1.80 -   ("#Find"  ,["equality equ'''"])],
    1.81 -  append_rls "e_rls" e_rls [], 
    1.82 -  NONE, 
    1.83 -  [["Equation","fromFunction"]]));
    1.84 -KEStore_Elems.get_ptyps @{theory};
    1.85 -*}
    1.86  setup {* KEStore_Elems.add_pbts
    1.87    [(prep_pbt thy "pbl_bieg" [] e_pblID
    1.88        (["Biegelinien"],