# HG changeset patch
# User wenzelm
# Date 971814323 -7200
# Node ID 9ac0fe356ea76e6a57b209df50847b88d2eea260
# Parent  979336bd0aed2bd7cc8a8011a11c2bba33187306
tuned;

diff -r 979336bd0aed -r 9ac0fe356ea7 doc-src/IsarRef/hol.tex
--- 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}
diff -r 979336bd0aed -r 9ac0fe356ea7 doc-src/IsarRef/isar-ref.tex
--- 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}