diff -r 7c492d8bc8e3 -r 36865f14e5ce doc-src/isar.sty
--- 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}