1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Wed Jun 01 13:39:41 2022 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Wed Jun 01 14:17:23 2022 +0200
     1.3 @@ -49,7 +49,7 @@
     1.4  
     1.5  problem pbl_SP_Ztrans_inv : "Inverse/Z_Transform/SignalProcessing" =
     1.6    \<open>Rule_Set.append_rules "empty" Rule_Set.empty [(*for preds in where_*)]\<close>
     1.7 -  Method: "SignalProcessing/Z_Transform/Inverse"
     1.8 +  Method_Ref: "SignalProcessing/Z_Transform/Inverse"
     1.9    Given: "filterExpression X_eq"
    1.10    Find: "stepResponse n_eq" \<comment> \<open>TODO: unused, "u [n]" is introduced by rule1..6\<close>
    1.11