69 |
69 |
70 KEStore_Elems.add_pbts |
70 KEStore_Elems.add_pbts |
71 [Problem.prep_input (theory "Isac_Knowledge") |
71 [Problem.prep_input (theory "Isac_Knowledge") |
72 (["approximate", "univariate", "equation", "test"], |
72 (["approximate", "univariate", "equation", "test"], |
73 [("#Given", ["equality e_e", "solveFor v_v", "errorBound err_"]), |
73 [("#Given", ["equality e_e", "solveFor v_v", "errorBound err_"]), |
74 ("#Where", ["TermC.matches (?a = ?b) e_e"]), |
74 ("#Where", ["matches (?a = ?b) e_e"]), |
75 ("#Find", ["solutions v_i_"])], |
75 ("#Find", ["solutions v_i_"])], |
76 Rule_Set.append_rules Rule_Set.empty [Eval ("Prog_Expr.TermC.matches",eval_matches "#matches_")], [])] |
76 Rule_Set.append_rules Rule_Set.empty [Eval ("Prog_Expr.TermC.matches",eval_matches "#matches_")], [])] |
77 thy; |
77 thy; |
78 |
78 |
79 methods:= overwritel (!methods, |
79 methods:= overwritel (!methods, |