28 \newcommand{\isamath}[1]{\emph{$#1$}} |
28 \newcommand{\isamath}[1]{\emph{$#1$}} |
29 \newcommand{\isatext}[1]{\emph{#1}} |
29 \newcommand{\isatext}[1]{\emph{#1}} |
30 \DeclareRobustCommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isaspacing\isastylescript##1}}} |
30 \DeclareRobustCommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isaspacing\isastylescript##1}}} |
31 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
31 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
32 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
32 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
33 \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}} |
|
34 \newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}} |
|
35 \DeclareRobustCommand{\isactrlbsub}{\emph\bgroup\math{}\sb\bgroup\mbox\bgroup\isaspacing\isastylescript} |
33 \DeclareRobustCommand{\isactrlbsub}{\emph\bgroup\math{}\sb\bgroup\mbox\bgroup\isaspacing\isastylescript} |
36 \DeclareRobustCommand{\isactrlesub}{\egroup\egroup\endmath\egroup} |
34 \DeclareRobustCommand{\isactrlesub}{\egroup\egroup\endmath\egroup} |
37 \DeclareRobustCommand{\isactrlbsup}{\emph\bgroup\math{}\sp\bgroup\mbox\bgroup\isaspacing\isastylescript} |
35 \DeclareRobustCommand{\isactrlbsup}{\emph\bgroup\math{}\sp\bgroup\mbox\bgroup\isaspacing\isastylescript} |
38 \DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup} |
36 \DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup} |
39 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
37 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
40 |
38 |
41 \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}} |
39 \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}} |
42 \newcommand{\isaantiqopen}{\isakeyword{\isacharbraceleft}} |
|
43 \newcommand{\isaantiqclose}{\isakeyword{\isacharbraceright}} |
|
44 |
40 |
45 \newdimen\isa@parindent\newdimen\isa@parskip |
41 \newdimen\isa@parindent\newdimen\isa@parskip |
46 |
42 |
47 \newenvironment{isabellebody}{% |
43 \newenvironment{isabellebody}{% |
48 \isamarkuptrue\par% |
44 \isamarkuptrue\par% |