diff -r dceea9dbdedd -r b85acd66f715 doc-src/TutorialI/fp.tex
--- 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}