# HG changeset patch
# User wenzelm
# Date 1147808006 -7200
# Node ID 78c7d9dfcfc9cd23de93e4decd34e47b46cc04ed
# Parent  eee5e8dbda59e7b3af48b7956837bd27b8d315f5
tuned;

diff -r eee5e8dbda59 -r 78c7d9dfcfc9 doc-src/IsarRef/pure.tex
--- a/doc-src/IsarRef/pure.tex	Tue May 16 21:33:24 2006 +0200
+++ b/doc-src/IsarRef/pure.tex	Tue May 16 21:33:26 2006 +0200
@@ -873,7 +873,7 @@
 
 \indexisarcmd{lemma}\indexisarcmd{theorem}\indexisarcmd{corollary}
 \indexisarcmd{have}\indexisarcmd{show}\indexisarcmd{hence}\indexisarcmd{thus}
-\indexisarcmd{print_statement}
+\indexisarcmd{print-statement}
 \begin{matharray}{rcl}
   \isarcmd{lemma} & : & \isartrans{theory}{proof(prove)} \\
   \isarcmd{theorem} & : & \isartrans{theory}{proof(prove)} \\