1.1 --- a/doc-src/isar.sty	Wed Feb 27 19:43:20 2002 +0100
     1.2 +++ b/doc-src/isar.sty	Wed Feb 27 19:43:55 2002 +0100
     1.3 @@ -39,6 +39,7 @@
     1.4  \newcommand{\NOTENAME}{\isarkeyword{note}}
     1.5  \newcommand{\FROMNAME}{\isarkeyword{from}}
     1.6  \newcommand{\WITHNAME}{\isarkeyword{with}}
     1.7 +\newcommand{\USINGNAME}{\isarkeyword{using}}
     1.8  \newcommand{\FIXNAME}{\isarkeyword{fix}}
     1.9  \newcommand{\ASSUMENAME}{\isarkeyword{assume}}
    1.10  \newcommand{\PRESUMENAME}{\isarkeyword{presume}}
    1.11 @@ -74,6 +75,7 @@
    1.12  \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}
    1.13  \newcommand{\FROM}[1]{\FROMNAME~#1}
    1.14  \newcommand{\WITH}[1]{\WITHNAME~#1}
    1.15 +\newcommand{\USING}[1]{\USINGNAME~#1}
    1.16  \newcommand{\FIX}[1]{\FIXNAME~#1}
    1.17  \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2}
    1.18  \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2}