changeset 10424 | 17491b8c7732 |
parent 10267 | 325ead6d9457 |
child 10510 | d243553849ec |
--- a/doc-src/AxClass/generated/isabelle.sty Thu Nov 09 21:38:00 2000 +0100 +++ b/doc-src/AxClass/generated/isabelle.sty Thu Nov 09 21:38:30 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}}