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