equal
deleted
inserted
replaced
15 \newcommand{\isastylecmt}{\rm} |
15 \newcommand{\isastylecmt}{\rm} |
16 |
16 |
17 \newdimen\isa@parindent\newdimen\isa@parskip |
17 \newdimen\isa@parindent\newdimen\isa@parskip |
18 |
18 |
19 \newenvironment{isabelle}{% |
19 \newenvironment{isabelle}{% |
20 \isa@parindent\parindent\parindent0pt% |
20 \trivlist\isa@parindent\parindent\parindent0pt% |
21 \isa@parskip\parskip\parskip0pt% |
21 \isa@parskip\parskip\parskip0pt% |
22 \isastyle}{} |
22 \isastyle\item\relax}{\endtrivlist} |
23 |
23 |
24 \newcommand{\isa}[1]{\emph{\isastyleminor #1}} |
24 \newcommand{\isa}[1]{\emph{\isastyleminor #1}} |
25 |
25 |
26 \newcommand{\isanewline}{\mbox{}\\\mbox{}} |
26 \newcommand{\isanewline}{\mbox{}\\\mbox{}} |
27 \newcommand{\isadigit}[1]{#1} |
27 \newcommand{\isadigit}[1]{#1} |