lib/texinputs/isabelle.sty

 %% macros for Isabelle generated LaTeX output
 %%
 
 %%% 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}}
 
 
 %section markup

 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}
 \newcommand{\isamarkupsection}[1]{\section{#1}}
 \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}}