diff -r fdead18501ca -r 4281ccea43f0 doc-src/TutorialI/isabelle.sty
--- a/doc-src/TutorialI/isabelle.sty	Fri Sep 15 19:34:28 2000 +0200
+++ b/doc-src/TutorialI/isabelle.sty	Fri Sep 15 19:59:05 2000 +0200
@@ -129,4 +129,8 @@
 \renewcommand{\isacharbraceright}{\emph{$\}$}}%
 }
 
-\newcommand{\isabellestylesl}{\isabellestyleit\renewcommand{\isastyle}{\small\slshape}}
+\newcommand{\isabellestylesl}{%
+\isabellestyleit%
+\renewcommand{\isastyle}{\small\sl}%
+\renewcommand{\isastyleminor}{\sl}%
+}