--- a/doc-src/TutorialI/fp.tex Fri Dec 21 17:31:45 2001 +0100
+++ b/doc-src/TutorialI/fp.tex Fri Dec 21 19:55:39 2001 +0100
@@ -297,8 +297,6 @@
\input{Misc/document/prime_def.tex}
-\input{Misc/document/Translations.tex}
-
\section{The Definitional Approach}
\label{sec:definitional}