1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Thu Oct 24 14:08:32 2013 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Thu Oct 24 15:00:44 2013 +0200
     1.3 @@ -40,11 +40,6 @@
     1.4  
     1.5  text {*store the rule set for math engine*}
     1.6  
     1.7 -ML {*
     1.8 -ruleset' := overwritelthy @{theory} (!ruleset',
     1.9 -  [("inverse_z", inverse_z)
    1.10 -   ]);
    1.11 -*}
    1.12  setup {* KEStore_Elems.add_rlss [("inverse_z", (Context.theory_name @{theory}, inverse_z))] *}
    1.13  
    1.14  subsection{*Define the Specification*}