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