--- a/src/Doc/Tutorial/document/fp.tex Sat May 24 19:15:04 2014 +0200
+++ b/src/Doc/Tutorial/document/fp.tex Sat May 24 20:07:26 2014 +0200
@@ -26,7 +26,7 @@
\begin{figure}[htbp]
\begin{ttbox}\makeatother
-\input{ToyList1}\end{ttbox}
+\input{ToyList1.txt}\end{ttbox}
\caption{A Theory of Lists}
\label{fig:ToyList}
\end{figure}
@@ -44,7 +44,7 @@
\begin{figure}[htbp]
\begin{ttbox}\makeatother
-\input{ToyList2}\end{ttbox}
+\input{ToyList2.txt}\end{ttbox}
\caption{Proofs about Lists}
\label{fig:ToyList-proofs}
\end{figure}