equal
deleted
inserted
replaced
43 \isastyle}{\par} |
43 \isastyle}{\par} |
44 |
44 |
45 \newenvironment{isabelle} |
45 \newenvironment{isabelle} |
46 {\begin{trivlist}\begin{isabellebody}\item\relax} |
46 {\begin{trivlist}\begin{isabellebody}\item\relax} |
47 {\end{isabellebody}\end{trivlist}} |
47 {\end{isabellebody}\end{trivlist}} |
48 |
|
49 \newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}} |
|
50 |
48 |
51 \newcommand{\isa}[1]{\emph{\isastyleminor #1}} |
49 \newcommand{\isa}[1]{\emph{\isastyleminor #1}} |
52 |
50 |
53 \newcommand{\isaindent}[1]{\hphantom{#1}} |
51 \newcommand{\isaindent}[1]{\hphantom{#1}} |
54 \newcommand{\isanewline}{\mbox{}\par\mbox{}} |
52 \newcommand{\isanewline}{\mbox{}\par\mbox{}} |