changeset 52125 | 6f1d3415dc68 |
parent 42451 | bc03b5d60547 |
child 52155 | e4ddf21390fd |
1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy Sun Sep 22 17:28:55 2013 +0200 1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy Sun Sep 22 18:09:05 2013 +0200 1.3 @@ -45,6 +45,7 @@ 1.4 [("inverse_z", inverse_z) 1.5 ]); 1.6 *} 1.7 +setup {* KEStore_Elems.add_rlss [("inverse_z", (Context.theory_name @{theory}, inverse_z))] *} 1.8 1.9 subsection{*Define the Specification*} 1.10 ML {*