24 \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}} |
24 \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}} |
25 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
25 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
26 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
26 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
27 \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
27 \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
28 \newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
28 \newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
|
29 \newcommand{\isactrlbsub}{\emph\bgroup\begin{math}{}\sb\bgroup\mbox\bgroup\isastylescript} |
|
30 \newcommand{\isactrlesub}{\egroup\egroup\end{math}\egroup} |
|
31 \newcommand{\isactrlbsup}{\emph\bgroup\begin{math}{}\sp\bgroup\mbox\bgroup\isastylescript} |
|
32 \newcommand{\isactrlesup}{\egroup\egroup\end{math}\egroup} |
29 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
33 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
30 |
34 |
31 % somewhat hackish: spanning sub/super scripts (\<^bsub>..\<^esub>) |
|
32 \newcommand{\isactrlbsub}{% |
|
33 \def\isatext##1{\isastylescript##1}\begin{math}_\bgroup} |
|
34 \newcommand{\isactrlesub}{\egroup\end{math}} |
|
35 \newcommand{\isactrlbsup}{% |
|
36 \def\isatext##1{\isastylescript##1}\begin{math}^\bgroup} |
|
37 \newcommand{\isactrlesup}{\egroup\end{math}} |
|
38 |
35 |
39 \newdimen\isa@parindent\newdimen\isa@parskip |
36 \newdimen\isa@parindent\newdimen\isa@parskip |
40 |
37 |
41 \newenvironment{isabellebody}{% |
38 \newenvironment{isabellebody}{% |
42 \isamarkuptrue\par% |
39 \isamarkuptrue\par% |