# HG changeset patch
# User wenzelm
# Date 953402672 -3600
# Node ID b6497971acbf7126e7b44d96db3ced810ee98875
# Parent  26323568fe736cf7a427a7575493660134f81f5e
tuned;

diff -r 26323568fe73 -r b6497971acbf doc-src/IsarRef/isar-ref.tex
--- 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}