1.1 --- a/lib/texinputs/isabelle.sty Fri Jun 24 01:09:16 2005 +0200
1.2 +++ b/lib/texinputs/isabelle.sty Fri Jun 24 03:16:52 2005 +0200
1.3 @@ -22,10 +22,10 @@
1.4 \newcommand{\isamath}[1]{\emph{$#1$}}
1.5 \newcommand{\isatext}[1]{\emph{#1}}
1.6 \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
1.7 -\newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
1.8 -\newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
1.9 -\newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
1.10 -\newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
1.11 +\newcommand{\isactrlsub}[1]{\emph{${}\sb{\mbox{\isastylescript{#1}}}$}}
1.12 +\newcommand{\isactrlsup}[1]{\emph{${}\sp{\mbox{\isastylescript{#1}}}$}}
1.13 +\newcommand{\isactrlisub}[1]{\emph{${}\sb{\mbox{\isastylescript{#1}}}$}}
1.14 +\newcommand{\isactrlisup}[1]{\emph{${}\sp{\mbox{\isastylescript{#1}}}$}}
1.15 \newcommand{\isactrlbsub}{\emph\bgroup\begin{math}{}\sb\bgroup\mbox\bgroup\isastylescript}
1.16 \newcommand{\isactrlesub}{\egroup\egroup\end{math}\egroup}
1.17 \newcommand{\isactrlbsup}{\emph\bgroup\begin{math}{}\sp\bgroup\mbox\bgroup\isastylescript}