--- a/doc-src/isar.sty Thu Oct 21 17:42:21 1999 +0200
+++ b/doc-src/isar.sty Thu Oct 21 17:42:42 1999 +0200
@@ -65,8 +65,6 @@
\newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2}
\newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2}
\newcommand{\THEN}{\isarkeyword{then}}
-\newcommand{\BG}{\{\{}
-\newcommand{\EN}{\}\}}
\newcommand{\HAVE}[2]{\isarkeyword{have}\I@optname{#1}~#2}
\newcommand{\SHOW}[2]{\isarkeyword{show}\I@optname{#1}~#2}
\newcommand{\HENCE}[2]{\isarkeyword{hence}\I@optname{#1}~#2}