| changeset 10422 | b5a577a800bc |
| parent 10260 | 6c31c8bb78e8 |
| child 10470 | 3d5492494a4b |
--- a/lib/texinputs/isabelle.sty Wed Nov 08 17:46:24 2000 +0100 +++ b/lib/texinputs/isabelle.sty Wed Nov 08 23:04:54 2000 +0100 @@ -34,8 +34,8 @@ \isastyle}{} \newenvironment{isabelle} -{\begin{isabellebody}\begin{trivlist}\item\relax} -{\end{trivlist}\end{isabellebody}} +{\begin{trivlist}\begin{isabellebody}\item\relax} +{\end{isabellebody}\end{trivlist}} \newcommand{\isa}[1]{\emph{\isastyleminor #1}}