--- a/doc-src/isar.sty Sun May 21 14:37:17 2000 +0200
+++ b/doc-src/isar.sty Sun May 21 14:42:35 2000 +0200
@@ -89,8 +89,8 @@
\newcommand{\MOREOVER}{\isarkeyword{moreover}}
\newcommand{\ULTIMATELY}{\isarkeyword{ultimately}}
\newcommand{\OBTAIN}[3]{\OBTAINNAME~#1~\isarkeyword{where}\I@optname{#2}~#3}
-\newcommand{\BG}{\isarkeyword{\{\{}}
-\newcommand{\EN}{\isarkeyword{\}\}}}
+\newcommand{\BG}{\isarkeyword{\textbf{\{}}}
+\newcommand{\EN}{\isarkeyword{\textbf{\}}}}
\newcommand{\NEXT}{\isarkeyword{next}}
\newcommand{\SORRY}{\isarkeyword{sorry}}
\newcommand{\OOPS}{\isarkeyword{oops}}