--- a/doc-src/TutorialI/isabelle.sty Tue Jan 06 10:40:15 2004 +0100
+++ b/doc-src/TutorialI/isabelle.sty Tue Jan 06 10:50:36 2004 +0100
@@ -28,6 +28,14 @@
\newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
\newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
+% somewhat hackish: spanning sub/super scripts (\<^bsub>..\<^esub>)
+\newcommand{\isactrlbsub}{%
+\def\isatext##1{\isastylescript##1}\begin{math}_\bgroup}
+\newcommand{\isactrlesub}{\egroup\end{math}}
+\newcommand{\isactrlbsup}{%
+\def\isatext##1{\isastylescript##1}\begin{math}^\bgroup}
+\newcommand{\isactrlesup}{\egroup\end{math}}
+
\newdimen\isa@parindent\newdimen\isa@parskip
\newenvironment{isabellebody}{%