--- a/doc-src/IsarRef/isar-ref.tex Tue Oct 17 22:25:03 2000 +0200 +++ b/doc-src/IsarRef/isar-ref.tex Tue Oct 17 22:25:23 2000 +0200 @@ -52,7 +52,7 @@ \renewcommand{\phi}{\varphi} -%\includeonly{generic,refcard} +%\includeonly{} \begin{document}