1.1 --- a/doc-src/IsarRef/isar-ref.tex	Tue Feb 12 20:32:23 2002 +0100
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Tue Feb 12 20:33:03 2002 +0100
     1.3 @@ -69,21 +69,6 @@
     1.4  
     1.5  \pagenumbering{roman} \tableofcontents \clearfirst
     1.6  
     1.7 -%FIXME
     1.8 -\nocite{Aspinall:2000:eProof}
     1.9 -\nocite{Bauer-Wenzel:2000:HB}
    1.10 -\nocite{Harrison:1996:MizarHOL}
    1.11 -\nocite{Muzalewski:Mizar}
    1.12 -\nocite{Rudnicki:1992:MizarOverview}
    1.13 -\nocite{Rudnicki:1992:MizarOverview}
    1.14 -\nocite{Syme:1997:DECLARE}
    1.15 -\nocite{Syme:1998:thesis}
    1.16 -\nocite{Syme:1999:TPHOL}
    1.17 -\nocite{Trybulec:1993:MizarFeatures}
    1.18 -\nocite{Wiedijk:1999:Mizar}
    1.19 -\nocite{Wiedijk:2000:MV}
    1.20 -\nocite{Zammit:1999:TPHOL}
    1.21 -
    1.22  \include{intro}
    1.23  \include{basics}
    1.24  \include{syntax}