1.1 --- a/doc-src/IsarRef/hol.tex	Tue Oct 17 22:25:03 2000 +0200
     1.2 +++ b/doc-src/IsarRef/hol.tex	Tue Oct 17 22:25:23 2000 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  
     1.5  \chapter{Isabelle/HOL Tools and Packages}\label{ch:hol-tools}
     1.6  
     1.7 -\section{Miscellaneous attributes}
     1.8 +\section{Miscellaneous attributes}\label{sec:rule-format}
     1.9  
    1.10  \indexisaratt{rule-format}
    1.11  \begin{matharray}{rcl}

     2.1 --- a/doc-src/IsarRef/isar-ref.tex	Tue Oct 17 22:25:03 2000 +0200
     2.2 +++ b/doc-src/IsarRef/isar-ref.tex	Tue Oct 17 22:25:23 2000 +0200
     2.3 @@ -52,7 +52,7 @@
     2.4  
     2.5  \renewcommand{\phi}{\varphi}
     2.6  
     2.7 -%\includeonly{generic,refcard}
     2.8 +%\includeonly{}
     2.9  
    2.10  
    2.11  \begin{document}