doc-src/isar.sty
changeset 7896 36865f14e5ce
parent 7894 2ccfea468b24
child 7972 b95d183ae476
     1.1 --- a/doc-src/isar.sty	Thu Oct 21 17:42:21 1999 +0200
     1.2 +++ b/doc-src/isar.sty	Thu Oct 21 17:42:42 1999 +0200
     1.3 @@ -65,8 +65,6 @@
     1.4  \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2}
     1.5  \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2}
     1.6  \newcommand{\THEN}{\isarkeyword{then}}
     1.7 -\newcommand{\BG}{\{\{}
     1.8 -\newcommand{\EN}{\}\}}
     1.9  \newcommand{\HAVE}[2]{\isarkeyword{have}\I@optname{#1}~#2}
    1.10  \newcommand{\SHOW}[2]{\isarkeyword{show}\I@optname{#1}~#2}
    1.11  \newcommand{\HENCE}[2]{\isarkeyword{hence}\I@optname{#1}~#2}