equal
deleted
inserted
replaced
173 append_rls "e_rls" e_rls [], |
173 append_rls "e_rls" e_rls [], |
174 NONE, |
174 NONE, |
175 [["Equation","fromFunction"]])); |
175 [["Equation","fromFunction"]])); |
176 KEStore_Elems.get_ptyps @{theory}; |
176 KEStore_Elems.get_ptyps @{theory}; |
177 *} |
177 *} |
178 setup {* KEStore_Elems.store_pbts |
178 setup {* KEStore_Elems.add_pbts |
179 [(prep_pbt thy "pbl_bieg" [] e_pblID |
179 [(prep_pbt thy "pbl_bieg" [] e_pblID |
180 (["Biegelinien"], |
180 (["Biegelinien"], |
181 [("#Given" ,["Traegerlaenge l_l", "Streckenlast q_q"]), |
181 [("#Given" ,["Traegerlaenge l_l", "Streckenlast q_q"]), |
182 (*("#Where",["0 < l_l"]), ...wait for < and handling Arbfix*) |
182 (*("#Where",["0 < l_l"]), ...wait for < and handling Arbfix*) |
183 ("#Find" ,["Biegelinie b_b"]), |
183 ("#Find" ,["Biegelinie b_b"]), |