| changeset 11610 | 99103cef5f29 |
| parent 10950 | aa788fcb75a5 |
| child 11866 | fbd097aec213 |
--- 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