| changeset 19667 | 78c7d9dfcfc9 |
| parent 19626 | ff7d6a847929 |
| child 19711 | 2401b1a3087f |
--- 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)} \\