1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Mon Jan 27 13:40:36 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Mon Jan 27 21:49:27 2014 +0100
     1.3 @@ -73,7 +73,7 @@
     1.4      append_rls "e_rls" e_rls [(*for preds in where_*)], NONE, 
     1.5      [["SignalProcessing","Z_Transform","Inverse"]]));
     1.6  *}
     1.7 -setup {* KEStore_Elems.store_pbts
     1.8 +setup {* KEStore_Elems.add_pbts
     1.9    [(prep_pbt thy "pbl_SP" [] e_pblID (["SignalProcessing"], [], e_rls, NONE, [])),
    1.10      (prep_pbt thy "pbl_SP_Ztrans" [] e_pblID
    1.11        (["Z_Transform","SignalProcessing"], [], e_rls, NONE, [])),