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