equal
deleted
inserted
replaced
36 [("univariate_equation_prls", |
36 [("univariate_equation_prls", |
37 prep_rls univariate_equation_prls)]); |
37 prep_rls univariate_equation_prls)]); |
38 |
38 |
39 |
39 |
40 store_pbt |
40 store_pbt |
41 (prep_pbt Equation.thy "pbl_equ" [] e_pblID |
41 (prep_pbt (theory "Equation") "pbl_equ" [] e_pblID |
42 (["equation"], |
42 (["equation"], |
43 [("#Given" ,["equality e_","solveFor v_"]), |
43 [("#Given" ,["equality e_","solveFor v_"]), |
44 ("#Where" ,["matches (?a = ?b) e_"]), |
44 ("#Where" ,["matches (?a = ?b) e_"]), |
45 ("#Find" ,["solutions v_i_"]) |
45 ("#Find" ,["solutions v_i_"]) |
46 ], |
46 ], |
48 [Calc ("Tools.matches",eval_matches "")], |
48 [Calc ("Tools.matches",eval_matches "")], |
49 SOME "solve (e_::bool, v_)", |
49 SOME "solve (e_::bool, v_)", |
50 [])); |
50 [])); |
51 |
51 |
52 store_pbt |
52 store_pbt |
53 (prep_pbt Equation.thy "pbl_equ_univ" [] e_pblID |
53 (prep_pbt (theory "Equation") "pbl_equ_univ" [] e_pblID |
54 (["univariate","equation"], |
54 (["univariate","equation"], |
55 [("#Given" ,["equality e_","solveFor v_"]), |
55 [("#Given" ,["equality e_","solveFor v_"]), |
56 ("#Where" ,["matches (?a = ?b) e_"]), |
56 ("#Where" ,["matches (?a = ?b) e_"]), |
57 ("#Find" ,["solutions v_i_"]) |
57 ("#Find" ,["solutions v_i_"]) |
58 ], |
58 ], |
84 ]); |
84 ]); |
85 |
85 |
86 |
86 |
87 |
87 |
88 store_met |
88 store_met |
89 (prep_met Equation.thy "met_equ" [] e_metID |
89 (prep_met (theory "Equation") "met_equ" [] e_metID |
90 (["Equation"], |
90 (["Equation"], |
91 [], |
91 [], |
92 {rew_ord'="tless_true", rls'=Erls, calc = [], |
92 {rew_ord'="tless_true", rls'=Erls, calc = [], |
93 srls = e_rls, |
93 srls = e_rls, |
94 prls=e_rls, |
94 prls=e_rls, |