lib/texinputs/isabelle.sty
changeset 14332 fd3535af90ab
parent 14234 9590df3c5f2a
child 14345 3023d90dc59e
     1.1 --- a/lib/texinputs/isabelle.sty	Sat Dec 27 21:02:14 2003 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Mon Dec 29 06:07:44 2003 +0100
     1.3 @@ -28,6 +28,14 @@
     1.4  \newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
     1.5  \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
     1.6  
     1.7 +% somewhat hackish: spanning sub/super scripts (\<^bsub>..\<^esub>)
     1.8 +\newcommand{\isactrlbsub}{%
     1.9 +\def\isatext##1{\isastylescript##1}\begin{math}_\bgroup}
    1.10 +\newcommand{\isactrlesub}{\egroup\end{math}}
    1.11 +\newcommand{\isactrlbsup}{%
    1.12 +\def\isatext##1{\isastylescript##1}\begin{math}^\bgroup}
    1.13 +\newcommand{\isactrlesup}{\egroup\end{math}}
    1.14 +
    1.15  \newdimen\isa@parindent\newdimen\isa@parskip
    1.16  
    1.17  \newenvironment{isabellebody}{%