diff -r 3f3d1add4d94 -r 99103cef5f29 doc-src/TutorialI/isabelle.sty
--- a/doc-src/TutorialI/isabelle.sty	Thu Sep 27 22:28:16 2001 +0200
+++ b/doc-src/TutorialI/isabelle.sty	Thu Sep 27 22:29:57 2001 +0200
@@ -24,6 +24,7 @@
 \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
+\newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
 
 \newdimen\isa@parindent\newdimen\isa@parskip