tuned;

--- a/doc-src/IsarRef/isar-ref.tex	Sat Mar 18 19:03:57 2000 +0100
+++ b/doc-src/IsarRef/isar-ref.tex	Sat Mar 18 19:04:32 2000 +0100
@@ -33,8 +33,7 @@
 
 \renewcommand{\phi}{\varphi}
 
-\includeonly{refcard}
-
+%\includeonly{generic,refcard}
 
 
 \begin{document}
@@ -80,6 +79,10 @@
 \pagenumbering{roman} \tableofcontents \clearfirst
 
 %FIXME
+% - HahnBanach paper
+% - Freek Widijk's stuff
+
+%FIXME
 \nocite{Rudnicki:1992:MizarOverview}
 \nocite{Harrison:1996:MizarHOL}
 \nocite{Rudnicki:1992:MizarOverview}