diff -r b5e709fd1e42 -r 542fb6c6c9b2 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Mon Aug 21 18:38:27 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Mon Aug 21 18:40:30 2000 +0200
@@ -9,6 +9,7 @@
 % isabelle environments
 
 \newcommand{\isastyle}{\small\tt\slshape}
+\newcommand{\isastyleminor}{\small\tt\slshape}
 \newcommand{\isastyletext}{\normalsize\rm}
 \newcommand{\isastyletxt}{\rm}
 \newcommand{\isastylecmt}{\rm}
@@ -20,10 +21,13 @@
 \isa@parskip\parskip\parskip0pt%
 \isastyle}{}
 
-\newcommand{\isa}[1]{\emph{\isastyle #1}}
+\newcommand{\isa}[1]{\emph{\isastyleminor #1}}
 
 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
+\newcommand{\isadigit}[1]{#1}
 
+\chardef\isacharbang=`\!
+\chardef\isachardoublequote=`\"
 \chardef\isacharhash=`\#
 \chardef\isachardollar=`\$
 \chardef\isacharpercent=`\%
@@ -32,15 +36,24 @@
 \chardef\isacharparenleft=`\(
 \chardef\isacharparenright=`\)
 \chardef\isacharasterisk=`\*
+\chardef\isacharplus=`\+
+\chardef\isacharcomma=`\,
 \chardef\isacharminus=`\-
+\chardef\isachardot=`\.
+\chardef\isacharslash=`\/
+\chardef\isacharcolon=`\:
+\chardef\isacharsemicolon=`\;
 \chardef\isacharless=`\<
+\chardef\isacharequal=`\=
 \chardef\isachargreater=`\>
+\chardef\isacharquery=`\?
+\chardef\isacharat=`\@
 \chardef\isacharbrackleft=`\[
-\chardef\isachardoublequote=`\"
 \chardef\isacharbackslash=`\\
 \chardef\isacharbrackright=`\]
 \chardef\isacharcircum=`\^
 \chardef\isacharunderscore=`\_
+\chardef\isacharbackquote=`\`
 \chardef\isacharbraceleft=`\{
 \chardef\isacharbar=`\|
 \chardef\isacharbraceright=`\}
@@ -49,10 +62,10 @@
 
 % keyword and section markup
 
-\newcommand{\isacommand}[1]{\emph{\bf #1}}
-\newcommand{\isakeyword}[1]{\emph{\bf #1}}
-\newcommand{\isabeginblock}{\isakeyword{\{}}
-\newcommand{\isaendblock}{\isakeyword{\}}}
+\newcommand{\isakeyword}[1]
+{\emph{\bf\def\isachardot{.}\def\isacharunderscore{-}%
+\def\isacharbraceleft{\{}\def\isacharbraceright{\}}#1}}
+\newcommand{\isacommand}[1]{\isakeyword{#1}}
 
 \newcommand{\isamarkupheader}[1]{\section{#1}}
 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}
@@ -72,23 +85,34 @@
 % alternative styles -- default is "tt"
 
 \newcommand{\isabellestyle}{}
-\def\isabellestyle#1{\csname isasetup#1\endcsname}
+\def\isabellestyle#1{\csname isabellestyle#1\endcsname}
 
-\newcommand{\isasetupit}{%
-\renewcommand{\isastyle}{\small\itshape}%
-\renewcommand{\isastyletext}{\normalsize\rm}%
-\renewcommand{\isastyletxt}{\rm}%
-\renewcommand{\isastylecmt}{\rm}%
-\renewcommand{\isachardollar}{\textsl{\$}}%
-\renewcommand{\isacharampersand}{\textsl{\&}}%
-\renewcommand{\isacharprime}{$'$}%
+\newcommand{\isabellestyleit}{%
+\renewcommand{\isastyle}{\small\it}%
+\renewcommand{\isastyleminor}{\it}%
+%\renewcommand{\isadigit}[1]{\emph{$##1$}}
+\renewcommand{\isacharbang}{\emph{$!$}}%
+\renewcommand{\isachardoublequote}{}%
+\renewcommand{\isacharhash}{\emph{$\#$}}%
+\renewcommand{\isachardollar}{\emph{$\$$}}%
+\renewcommand{\isacharpercent}{\emph{$\%$}}%
+\renewcommand{\isacharampersand}{\emph{$\&$}}%
+\renewcommand{\isacharprime}{$\mskip2mu{'}\mskip-2mu$}%
 \renewcommand{\isacharparenleft}{\emph{$($}}%
 \renewcommand{\isacharparenright}{\emph{$)$}}%
 \renewcommand{\isacharasterisk}{\emph{$*$}}%
+\renewcommand{\isacharplus}{\emph{$+$}}%
+\renewcommand{\isacharcomma}{\emph{$\mathord,$}}%
 \renewcommand{\isacharminus}{\emph{$-$}}%
+\renewcommand{\isachardot}{\emph{$\mathord.$}}%
+\renewcommand{\isacharslash}{\emph{$/$}}%
+\renewcommand{\isacharcolon}{\emph{$\mathord:$}}%
+\renewcommand{\isacharsemicolon}{\emph{$\mathord;$}}%
 \renewcommand{\isacharless}{\emph{$<$}}%
+\renewcommand{\isacharequal}{\emph{$=$}}%
 \renewcommand{\isachargreater}{\emph{$>$}}%
-\renewcommand{\isachardoublequote}{}%
+%\renewcommand{\isacharquery}{\emph{$\mathord?$}}%
+\renewcommand{\isacharat}{\emph{$@$}}%
 \renewcommand{\isacharbrackleft}{\emph{$[$}}%
 \renewcommand{\isacharbrackright}{\emph{$]$}}%
 \renewcommand{\isacharunderscore}{-}%
@@ -97,5 +121,4 @@
 \renewcommand{\isacharbraceright}{\emph{$\}$}}%
 }
 
-\newcommand{\isasetupsl}{\isasetupit\renewcommand{\isastyle}{\small\slshape}}
-
+\newcommand{\isabellestylesl}{\isabellestyleit\renewcommand{\isastyle}{\small\slshape}}