lib/texinputs/isabelle.sty
changeset 14708 c0a65132d79a
parent 14347 1fff56703e29
child 14981 e73f8140af78
     1.1 --- a/lib/texinputs/isabelle.sty	Thu May 06 14:17:07 2004 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Thu May 06 14:20:13 2004 +0200
     1.3 @@ -26,15 +26,12 @@
     1.4  \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
     1.5  \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
     1.6  \newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
     1.7 +\newcommand{\isactrlbsub}{\emph\bgroup\begin{math}{}\sb\bgroup\mbox\bgroup\isastylescript}
     1.8 +\newcommand{\isactrlesub}{\egroup\egroup\end{math}\egroup}
     1.9 +\newcommand{\isactrlbsup}{\emph\bgroup\begin{math}{}\sp\bgroup\mbox\bgroup\isastylescript}
    1.10 +\newcommand{\isactrlesup}{\egroup\egroup\end{math}\egroup}
    1.11  \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
    1.12  
    1.13 -% somewhat hackish: spanning sub/super scripts (\<^bsub>..\<^esub>)
    1.14 -\newcommand{\isactrlbsub}{%
    1.15 -\def\isatext##1{\isastylescript##1}\begin{math}_\bgroup}
    1.16 -\newcommand{\isactrlesub}{\egroup\end{math}}
    1.17 -\newcommand{\isactrlbsup}{%
    1.18 -\def\isatext##1{\isastylescript##1}\begin{math}^\bgroup}
    1.19 -\newcommand{\isactrlesup}{\egroup\end{math}}
    1.20  
    1.21  \newdimen\isa@parindent\newdimen\isa@parskip
    1.22