--- a/doc-src/isar.sty Mon Mar 04 14:27:10 2002 +0100
+++ b/doc-src/isar.sty Mon Mar 04 19:06:01 2002 +0100
@@ -90,6 +90,7 @@
\newcommand{\DEFINES}[2]{\DEFINESNAME\I@optname{#1}~#2}
\newcommand{\NOTES}[2]{\NOTESNAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}
\newcommand{\INCLUDES}[1]{\INCLUDESNAME~#1}
+\newcommand{\SHOWS}[2]{\isarkeyword{shows}\I@optname{#1}~#2}
\newcommand{\FIX}[1]{\FIXNAME~#1}
\newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2}
\newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2}