497 e_rls [(*for preds in where_*) |
497 e_rls [(*for preds in where_*) |
498 Calc ("Rational.is'_ratpolyexp", eval_is_ratpolyexp "")], |
498 Calc ("Rational.is'_ratpolyexp", eval_is_ratpolyexp "")], |
499 SOME "Probe e_e w_w", |
499 SOME "Probe e_e w_w", |
500 [["probe","fuer_bruch"]])); |
500 [["probe","fuer_bruch"]])); |
501 *} |
501 *} |
502 setup {* KEStore_Elems.store_pbts |
502 setup {* KEStore_Elems.add_pbts |
503 [(prep_pbt thy "pbl_vereinf_poly" [] e_pblID |
503 [(prep_pbt thy "pbl_vereinf_poly" [] e_pblID |
504 (["polynom","vereinfachen"], [], Erls, NONE, [])), |
504 (["polynom","vereinfachen"], [], Erls, NONE, [])), |
505 (prep_pbt thy "pbl_vereinf_poly_minus" [] e_pblID |
505 (prep_pbt thy "pbl_vereinf_poly_minus" [] e_pblID |
506 (["plus_minus","polynom","vereinfachen"], |
506 (["plus_minus","polynom","vereinfachen"], |
507 [("#Given", ["Term t_t"]), |
507 [("#Given", ["Term t_t"]), |