--- a/doc-src/isar.sty Wed Feb 27 19:43:20 2002 +0100
+++ b/doc-src/isar.sty Wed Feb 27 19:43:55 2002 +0100
@@ -39,6 +39,7 @@
\newcommand{\NOTENAME}{\isarkeyword{note}}
\newcommand{\FROMNAME}{\isarkeyword{from}}
\newcommand{\WITHNAME}{\isarkeyword{with}}
+\newcommand{\USINGNAME}{\isarkeyword{using}}
\newcommand{\FIXNAME}{\isarkeyword{fix}}
\newcommand{\ASSUMENAME}{\isarkeyword{assume}}
\newcommand{\PRESUMENAME}{\isarkeyword{presume}}
@@ -74,6 +75,7 @@
\newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}
\newcommand{\FROM}[1]{\FROMNAME~#1}
\newcommand{\WITH}[1]{\WITHNAME~#1}
+\newcommand{\USING}[1]{\USINGNAME~#1}
\newcommand{\FIX}[1]{\FIXNAME~#1}
\newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2}
\newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2}