diff -r 4294eb252283 -r 5ede702cd2ca doc-src/IsarImplementation/implementation.tex
--- a/doc-src/IsarImplementation/implementation.tex	Tue Sep 12 12:16:17 2006 +0200
+++ b/doc-src/IsarImplementation/implementation.tex	Tue Sep 12 14:50:11 2006 +0200
@@ -61,7 +61,10 @@
 
 \thispagestyle{empty}\clearpage
 
-\pagenumbering{roman} \tableofcontents \clearfirst
+\pagenumbering{roman}
+\tableofcontents
+\listoffigures
+\clearfirst
 
 \input{intro.tex}
 \input{Thy/document/prelim.tex}