diff -r da6788606f54 -r dc2ee9b2e065 doc-src/AxClass/generated/isabelle.sty
--- a/doc-src/AxClass/generated/isabelle.sty	Thu Aug 31 17:59:59 2000 +0200
+++ b/doc-src/AxClass/generated/isabelle.sty	Fri Sep 01 00:27:41 2000 +0200
@@ -16,10 +16,14 @@
 
 \newdimen\isa@parindent\newdimen\isa@parskip
 
-\newenvironment{isabelle}{%
-\trivlist\isa@parindent\parindent\parindent0pt%
+\newenvironment{isabellebody}{%
+\isa@parindent\parindent\parindent0pt%
 \isa@parskip\parskip\parskip0pt%
-\isastyle\item\relax}{\endtrivlist}
+\isastyle}{}
+
+\newenvironment{isabelle}
+{\begin{isabellebody}\begin{trivlist}\item\relax}
+{\end{trivlist}\end{isabellebody}}
 
 \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
 
@@ -62,8 +66,9 @@
 
 % keyword and section markup
 
+\newcommand{\isakeywordcharunderscore}{\_}
 \newcommand{\isakeyword}[1]
-{\emph{\bf\def\isachardot{.}\def\isacharunderscore{-}%
+{\emph{\bf\def\isachardot{.}\def\isacharunderscore{\isakeywordcharunderscore}%
 \def\isacharbraceleft{\{}\def\isacharbraceright{\}}#1}}
 \newcommand{\isacommand}[1]{\isakeyword{#1}}
 
@@ -90,7 +95,7 @@
 \newcommand{\isabellestyleit}{%
 \renewcommand{\isastyle}{\small\it}%
 \renewcommand{\isastyleminor}{\it}%
-%\renewcommand{\isadigit}[1]{\emph{$##1$}}
+\renewcommand{\isakeywordcharunderscore}{\mbox{-}}%
 \renewcommand{\isacharbang}{\emph{$!$}}%
 \renewcommand{\isachardoublequote}{}%
 \renewcommand{\isacharhash}{\emph{$\#$}}%
@@ -111,11 +116,10 @@
 \renewcommand{\isacharless}{\emph{$<$}}%
 \renewcommand{\isacharequal}{\emph{$=$}}%
 \renewcommand{\isachargreater}{\emph{$>$}}%
-%\renewcommand{\isacharquery}{\emph{$\mathord?$}}%
 \renewcommand{\isacharat}{\emph{$@$}}%
 \renewcommand{\isacharbrackleft}{\emph{$[$}}%
 \renewcommand{\isacharbrackright}{\emph{$]$}}%
-\renewcommand{\isacharunderscore}{-}%
+\renewcommand{\isacharunderscore}{\mbox{-}}%
 \renewcommand{\isacharbraceleft}{\emph{$\{$}}%
 \renewcommand{\isacharbar}{\emph{$\mid$}}%
 \renewcommand{\isacharbraceright}{\emph{$\}$}}%