equal
deleted
inserted
replaced
32 \isa@parindent\parindent\parindent0pt% |
32 \isa@parindent\parindent\parindent0pt% |
33 \isa@parskip\parskip\parskip0pt% |
33 \isa@parskip\parskip\parskip0pt% |
34 \isastyle}{} |
34 \isastyle}{} |
35 |
35 |
36 \newenvironment{isabelle} |
36 \newenvironment{isabelle} |
37 {\begin{isabellebody}\begin{trivlist}\item\relax} |
37 {\begin{trivlist}\begin{isabellebody}\item\relax} |
38 {\end{trivlist}\end{isabellebody}} |
38 {\end{isabellebody}\end{trivlist}} |
39 |
39 |
40 \newcommand{\isa}[1]{\emph{\isastyleminor #1}} |
40 \newcommand{\isa}[1]{\emph{\isastyleminor #1}} |
41 |
41 |
42 \newcommand{\isanewline}{\mbox{}\\\mbox{}} |
42 \newcommand{\isanewline}{\mbox{}\\\mbox{}} |
43 \newcommand{\isadigit}[1]{#1} |
43 \newcommand{\isadigit}[1]{#1} |