# HG changeset patch
# User paulson
# Date 1073382636 -3600
# Node ID 6e564092d72d3a7483ff252eaa5193bb50e27ccc
# Parent  a09441bd4f1e7166552d583ca499863fd5a53818
auto update

diff -r a09441bd4f1e -r 6e564092d72d doc-src/TutorialI/isabelle.sty
--- 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}{%