equal
deleted
inserted
replaced
29 \DeclareRobustCommand{\isactrlesub}{\egroup\egroup\endmath\egroup} |
29 \DeclareRobustCommand{\isactrlesub}{\egroup\egroup\endmath\egroup} |
30 \DeclareRobustCommand{\isactrlbsup}{\emph\bgroup\math{}\sp\bgroup\mbox\bgroup\isastylescript} |
30 \DeclareRobustCommand{\isactrlbsup}{\emph\bgroup\math{}\sp\bgroup\mbox\bgroup\isastylescript} |
31 \DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup} |
31 \DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup} |
32 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
32 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
33 \newcommand{\isactrlloc}[1]{{\bfseries\upshape\boldmath#1}} |
33 \newcommand{\isactrlloc}[1]{{\bfseries\upshape\boldmath#1}} |
|
34 |
34 \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}} |
35 \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}} |
35 |
36 \newcommand{\isaantiqopen}{\isakeyword{\isacharbraceleft}} |
|
37 \newcommand{\isaantiqclose}{\isakeyword{\isacharbraceright}} |
36 |
38 |
37 \newdimen\isa@parindent\newdimen\isa@parskip |
39 \newdimen\isa@parindent\newdimen\isa@parskip |
38 |
40 |
39 \newenvironment{isabellebody}{% |
41 \newenvironment{isabellebody}{% |
40 \isamarkuptrue\par% |
42 \isamarkuptrue\par% |