--- a/lib/texinputs/isabelle.sty Thu Oct 07 17:19:07 1999 +0200
+++ b/lib/texinputs/isabelle.sty Thu Oct 07 17:20:19 1999 +0200
@@ -6,11 +6,14 @@
%%% Simple document preparation (based on theory token language)
-%basic environment
+% basic environment
+
\newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
\newcommand{\isanewline}{\mbox{}\\\mbox{}}
-%keywords
+
+% keywords
+
\newcommand{\isacommand}[1]{{\bf #1}}
\newcommand{\isakeyword}[1]{{\bf #1}}
@@ -25,11 +28,9 @@
\newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
\newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
\newcommand{\isamarkuptext}[1]{\isapar{\normalsize\rm #1}}
-\newcommand{\isamarkupverbatim}[1]{#1}
\newcommand{\isamarkupsect}[1]{\section{#1}}
\newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
\newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
\newcommand{\isamarkuptxt}[1]{\isapar{\rm #1}}
-\newcommand{\isamarkupverb}[1]{#1}
\newcommand{\isamarkupcmt}[1]{{\rm--- #1}}