1.1 --- a/doc-src/IsarRef/isar-ref.tex	Sat Mar 18 19:03:57 2000 +0100
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Sat Mar 18 19:04:32 2000 +0100
     1.3 @@ -33,8 +33,7 @@
     1.4  
     1.5  \renewcommand{\phi}{\varphi}
     1.6  
     1.7 -\includeonly{refcard}
     1.8 -
     1.9 +%\includeonly{generic,refcard}
    1.10  
    1.11  
    1.12  \begin{document}
    1.13 @@ -80,6 +79,10 @@
    1.14  \pagenumbering{roman} \tableofcontents \clearfirst
    1.15  
    1.16  %FIXME
    1.17 +% - HahnBanach paper
    1.18 +% - Freek Widijk's stuff
    1.19 +
    1.20 +%FIXME
    1.21  \nocite{Rudnicki:1992:MizarOverview}
    1.22  \nocite{Harrison:1996:MizarHOL}
    1.23  \nocite{Rudnicki:1992:MizarOverview}