equal
deleted
inserted
replaced
29 \newcommand{\isactrlbsub}{\emph\bgroup\begin{math}{}\sb\bgroup\mbox\bgroup\isastylescript} |
29 \newcommand{\isactrlbsub}{\emph\bgroup\begin{math}{}\sb\bgroup\mbox\bgroup\isastylescript} |
30 \newcommand{\isactrlesub}{\egroup\egroup\end{math}\egroup} |
30 \newcommand{\isactrlesub}{\egroup\egroup\end{math}\egroup} |
31 \newcommand{\isactrlbsup}{\emph\bgroup\begin{math}{}\sp\bgroup\mbox\bgroup\isastylescript} |
31 \newcommand{\isactrlbsup}{\emph\bgroup\begin{math}{}\sp\bgroup\mbox\bgroup\isastylescript} |
32 \newcommand{\isactrlesup}{\egroup\egroup\end{math}\egroup} |
32 \newcommand{\isactrlesup}{\egroup\egroup\end{math}\egroup} |
33 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
33 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
|
34 \newcommand{\isactrlloc}[1]{{\bfseries\upshape\boldmath#1}} |
34 |
35 |
35 |
36 |
36 \newdimen\isa@parindent\newdimen\isa@parskip |
37 \newdimen\isa@parindent\newdimen\isa@parskip |
37 |
38 |
38 \newenvironment{isabellebody}{% |
39 \newenvironment{isabellebody}{% |