diff -r f1ba12c117ec -r 48494ccfabaf doc-src/IsarAdvanced/Classes/classes.tex
--- a/doc-src/IsarAdvanced/Classes/classes.tex	Tue Jul 24 15:20:53 2007 +0200
+++ b/doc-src/IsarAdvanced/Classes/classes.tex	Tue Jul 24 15:21:54 2007 +0200
@@ -79,7 +79,7 @@
 \begingroup
 %\tocentry{\bibname}
 \bibliographystyle{plain} \small\raggedright\frenchspacing
-\bibliography{../../manual,classes}
+\bibliography{../../manual}
 \endgroup
 
 \end{document}