lib/texinputs/isabelle.sty
 changeset 17173 5616217e3cec parent 17158 d68bf267cbba child 17180 5fefe658a6f8
equal inserted replaced
17172:f048bd26ed3a 17173:5616217e3cec
    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}{%