equal
deleted
inserted
replaced
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 |