1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex	Mon Aug 26 09:20:07 2019 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex	Mon Aug 26 17:40:27 2019 +0200
     1.3 @@ -2705,7 +2705,7 @@
     1.4        \end{verbatim}
     1.5        \item We check if the \textbf{semantics of the program} by stepwise evaluation
     1.6          of the program. Evaluation is done by the Lucas-Interpreter, which works
     1.7 -        using the knowledge in theory Isac; so we have to re-build Isac. And the
     1.8 +        using the knowledge in theory Isac_Knowledge; so we have to re-build Isac. And the
     1.9          test are performed simplest in a file which is loaded with Isac.
    1.10          See \ttfamily tests/../partial\_fractions.sml \normalfont.
    1.11    \end{enumerate}%