doc-src/AxClass/generated/isabelle.sty
changeset 10510 d243553849ec
parent 10424 17491b8c7732
child 10588 3a1755b37757
equal deleted inserted replaced
10509:ff24ac6678dd 10510:d243553849ec
    27 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
    27 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
    28 
    28 
    29 \newdimen\isa@parindent\newdimen\isa@parskip
    29 \newdimen\isa@parindent\newdimen\isa@parskip
    30 
    30 
    31 \newenvironment{isabellebody}{%
    31 \newenvironment{isabellebody}{%
       
    32 \par%
    32 \isa@parindent\parindent\parindent0pt%
    33 \isa@parindent\parindent\parindent0pt%
    33 \isa@parskip\parskip\parskip0pt%
    34 \isa@parskip\parskip\parskip0pt%
    34 \isastyle}{}
    35 \isastyle}{\par}
    35 
    36 
    36 \newenvironment{isabelle}
    37 \newenvironment{isabelle}
    37 {\begin{trivlist}\begin{isabellebody}\item\relax}
    38 {\begin{trivlist}\begin{isabellebody}\item\relax}
    38 {\end{isabellebody}\end{trivlist}}
    39 {\end{isabellebody}\end{trivlist}}
    39 
    40