1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy Thu Jun 10 12:23:57 2021 +0200
1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy Thu Jun 10 12:48:50 2021 +0200
1.3 @@ -42,9 +42,7 @@
1.4 rule_set_knowledge inverse_z = inverse_z
1.5
1.6 subsection\<open>Define the Specification\<close>
1.7 -ML \<open>
1.8 -val thy = @{theory};
1.9 -\<close>
1.10 +
1.11 setup \<open>KEStore_Elems.add_pbts
1.12 [(Problem.prep_input @{theory} "pbl_SP" [] Problem.id_empty (["SignalProcessing"], [], Rule_Set.empty, NONE, [])),
1.13 (Problem.prep_input @{theory} "pbl_SP_Ztrans" [] Problem.id_empty