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 \trivlist\item% |
|
21 \isa@parindent\parindent\parindent0pt% |
20 \isa@parindent\parindent\parindent0pt% |
22 \isa@parskip\parskip\parskip0pt% |
21 \isa@parskip\parskip\parskip0pt% |
23 \isastyle}{\endtrivlist} |
22 \isastyle}{} |
24 |
23 |
25 \newcommand{\isa}[1]{\emph{\isastyleminor #1}} |
24 \newcommand{\isa}[1]{\emph{\isastyleminor #1}} |
26 |
25 |
27 \newcommand{\isanewline}{\mbox{}\\\mbox{}} |
26 \newcommand{\isanewline}{\mbox{}\\\mbox{}} |
28 \newcommand{\isadigit}[1]{#1} |
27 \newcommand{\isadigit}[1]{#1} |