diff -r 624f609e10d7 -r 38a46d9ea08a lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Fri Oct 08 15:03:47 1999 +0200
+++ b/lib/texinputs/isabelle.sty	Fri Oct 08 15:04:32 1999 +0200
@@ -11,14 +11,19 @@
 \newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
 
+\chardef\isabraceleft=`\{
+\chardef\isabraceright=`\}
+\chardef\isatilde=`\~
+\chardef\isacircum=`\^
+\chardef\isabackslash=`\\
 
-% keywords
+
+% keyword and section markup
 
 \newcommand{\isacommand}[1]{{\bf #1}}
 \newcommand{\isakeyword}[1]{{\bf #1}}
-
-
-%section markup
+\newcommand{\isabeginblock}{\isakeyword{\{}}
+\newcommand{\isaendblock}{\isakeyword{\}}}
 
 \newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}}
 \newcommand{\isamarkupheader}[1]{#1}