changeset 55359 | 73dc85c025ab |
parent 55339 | cccd24e959ba |
child 55363 | d78bc1342183 |
1.1 --- a/src/Tools/isac/Knowledge/LinEq.thy Mon Jan 27 13:40:36 2014 +0100 1.2 +++ b/src/Tools/isac/Knowledge/LinEq.thy Mon Jan 27 21:49:27 2014 +0100 1.3 @@ -140,7 +140,7 @@ 1.4 LinEq_prls, SOME "solve (e_e::bool, v_v)", 1.5 [["LinEq","solve_lineq_equation"]])); 1.6 *} 1.7 -setup {* KEStore_Elems.store_pbts 1.8 +setup {* KEStore_Elems.add_pbts 1.9 [(prep_pbt thy "pbl_equ_univ_lin" [] e_pblID 1.10 (["LINEAR", "univariate", "equation"], 1.11 [("#Given" ,["equality e_e", "solveFor v_v"]),