# HG changeset patch
# User paulson
# Date 975947415 -3600
# Node ID b325139714819781415582fe32b00f5d4e85a878
# Parent  b9c290f0343d2c8f7614c42f78a97334e0bcbd16
fixed formatting in section heading

diff -r b9c290f0343d -r b32513971481 doc-src/TutorialI/Rules/rules.tex
--- a/doc-src/TutorialI/Rules/rules.tex	Mon Dec 04 17:29:48 2000 +0100
+++ b/doc-src/TutorialI/Rules/rules.tex	Mon Dec 04 17:30:15 2000 +0100
@@ -1026,7 +1026,7 @@
 This example is typical of how Isabelle enforces sound quantifier reasoning. 
 
 
-\section{Proving theorems using the \emph{\texttt{blast}} method}
+\section{Proving theorems using the {\tt\slshape blast} method}
 
 It is hard to prove substantial theorems using the methods 
 described above. A proof may be dozens or hundreds of steps long.  You