diff -r 91d16d251ea7 -r 7ee322caf59c lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Wed Oct 06 00:34:48 1999 +0200
+++ b/lib/texinputs/isabelle.sty	Wed Oct 06 00:35:05 1999 +0200
@@ -6,8 +6,24 @@
 
 %%% Simple document preparation (based on theory token language)
 
+%basic environment
 \newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
+
+%keywords
 \newcommand{\isacommand}[1]{{\bf #1}}
 \newcommand{\isakeyword}[1]{{\bf #1}}
-\newcommand{\isatext}[1]{{\rm #1}}
+
+%theory sections
+\newcommand{\isamarkupheader}[1]{{\rm #1}}
+\newcommand{\isamarkupchapter}[1]{\chapter{#1}}
+\newcommand{\isamarkupsection}[1]{\section{#1}}
+\newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
+\newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
+\newcommand{\isamarkuptext}[1]{{\rm #1}}
+
+%proof sections
+\newcommand{\isamarkupsect}[1]{\section{#1}}
+\newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
+\newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
+\newcommand{\isamarkuptxt}[1]{{\sl #1}}