--- a/doc-src/IsarRef/hol.tex Tue Oct 17 22:25:03 2000 +0200
+++ b/doc-src/IsarRef/hol.tex Tue Oct 17 22:25:23 2000 +0200
@@ -1,7 +1,7 @@
\chapter{Isabelle/HOL Tools and Packages}\label{ch:hol-tools}
-\section{Miscellaneous attributes}
+\section{Miscellaneous attributes}\label{sec:rule-format}
\indexisaratt{rule-format}
\begin{matharray}{rcl}
--- 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}