--- a/doc-src/System/system.tex Mon Sep 15 20:51:40 2008 +0200
+++ b/doc-src/System/system.tex Mon Sep 15 20:51:58 2008 +0200
@@ -42,7 +42,7 @@
\appendix
\let\int\intorig
-\input{symbols}
+\input{Thy/document/Symbols}
\begingroup
\bibliographystyle{plain} \small\raggedright\frenchspacing