1.1 --- a/src/Tools/isac/Knowledge/Diff.thy Mon Jan 27 13:40:36 2014 +0100
1.2 +++ b/src/Tools/isac/Knowledge/Diff.thy Mon Jan 27 21:49:27 2014 +0100
1.3 @@ -272,7 +272,7 @@
1.4 append_rls "e_rls" e_rls [],
1.5 SOME "Differentiate (f_f, v_v)", [["diff","differentiate_equality"]]));
1.6 *}
1.7 -setup {* KEStore_Elems.store_pbts
1.8 +setup {* KEStore_Elems.add_pbts
1.9 [(prep_pbt thy "pbl_fun" [] e_pblID (["function"], [], e_rls, NONE, [])),
1.10 (prep_pbt thy "pbl_fun_deriv" [] e_pblID
1.11 (["derivative_of","function"],