equal
deleted
inserted
replaced
38 |
38 |
39 val univariate_equation_prls = |
39 val univariate_equation_prls = |
40 Rule_Set.append_rules "univariate_equation_prls" Rule_Set.empty |
40 Rule_Set.append_rules "univariate_equation_prls" Rule_Set.empty |
41 [Rule.Eval ("Prog_Expr.matches", Prog_Expr.eval_matches "")]; |
41 [Rule.Eval ("Prog_Expr.matches", Prog_Expr.eval_matches "")]; |
42 \<close> |
42 \<close> |
43 setup \<open>KEStore_Elems.add_rlss [("univariate_equation_prls", |
43 setup_rule univariate_equation_prls = \<open>Auto_Prog.prep_rls @{theory} univariate_equation_prls\<close> |
44 (Context.theory_name @{theory}, Auto_Prog.prep_rls @{theory} univariate_equation_prls))]\<close> |
|
45 setup \<open>KEStore_Elems.add_pbts |
44 setup \<open>KEStore_Elems.add_pbts |
46 [(Problem.prep_input thy "pbl_equ" [] Problem.id_empty |
45 [(Problem.prep_input thy "pbl_equ" [] Problem.id_empty |
47 (["equation"], |
46 (["equation"], |
48 [("#Given" ,["equality e_e", "solveFor v_v"]), |
47 [("#Given" ,["equality e_e", "solveFor v_v"]), |
49 ("#Where" ,["matches (?a = ?b) e_e"]), |
48 ("#Where" ,["matches (?a = ?b) e_e"]), |