1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Thu Mar 15 15:48:52 2018 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Fri Mar 23 10:14:39 2018 +0100
     1.3 @@ -56,13 +56,13 @@
     1.4            because "inverse" = Const ("Rings.inverse_class.inverse", ..*)
     1.5          [("#Given" ,["filterExpression (X_eq::bool)"]),
     1.6            ("#Find"  ,["stepResponse (n_eq::bool)"])],
     1.7 -        Celem.append_rls "xxxe_rlsxxx" Celem.e_rls [(*for preds in where_*)], NONE, 
     1.8 +        Celem.append_rls "e_rls" Celem.e_rls [(*for preds in where_*)], NONE, 
     1.9          [["SignalProcessing","Z_Transform","Inverse"]])),
    1.10      (Specify.prep_pbt thy "pbl_SP_Ztrans_inv" [] Celem.e_pblID
    1.11        (["Inverse", "Z_Transform", "SignalProcessing"],
    1.12          [("#Given" ,["filterExpression X_eq"]),
    1.13            ("#Find"  ,["stepResponse n_eq"])],
    1.14 -        Celem.append_rls "xxxe_rlsxxx" Celem.e_rls [(*for preds in where_*)], NONE, 
    1.15 +        Celem.append_rls "e_rls" Celem.e_rls [(*for preds in where_*)], NONE, 
    1.16          [["SignalProcessing","Z_Transform","Inverse"]]))] *}
    1.17  
    1.18  subsection {*Define Name and Signature for the Method*}