--- a/doc-src/IsarRef/isar-ref.tex Tue Feb 12 20:32:23 2002 +0100
+++ b/doc-src/IsarRef/isar-ref.tex Tue Feb 12 20:33:03 2002 +0100
@@ -69,21 +69,6 @@
\pagenumbering{roman} \tableofcontents \clearfirst
-%FIXME
-\nocite{Aspinall:2000:eProof}
-\nocite{Bauer-Wenzel:2000:HB}
-\nocite{Harrison:1996:MizarHOL}
-\nocite{Muzalewski:Mizar}
-\nocite{Rudnicki:1992:MizarOverview}
-\nocite{Rudnicki:1992:MizarOverview}
-\nocite{Syme:1997:DECLARE}
-\nocite{Syme:1998:thesis}
-\nocite{Syme:1999:TPHOL}
-\nocite{Trybulec:1993:MizarFeatures}
-\nocite{Wiedijk:1999:Mizar}
-\nocite{Wiedijk:2000:MV}
-\nocite{Zammit:1999:TPHOL}
-
\include{intro}
\include{basics}
\include{syntax}