--- a/doc-src/isar.sty Tue Jul 04 17:26:02 2006 +0200
+++ b/doc-src/isar.sty Tue Jul 04 18:39:57 2006 +0200
@@ -42,6 +42,7 @@
\newcommand{\FROMNAME}{\isarkeyword{from}}
\newcommand{\WITHNAME}{\isarkeyword{with}}
\newcommand{\USINGNAME}{\isarkeyword{using}}
+\newcommand{\UNFOLDINGNAME}{\isarkeyword{unfolding}}
\newcommand{\FIXESNAME}{\isarkeyword{fixes}}
\newcommand{\CONSTRAINSNAME}{\isarkeyword{constrains}}
\newcommand{\ASSUMESNAME}{\isarkeyword{assumes}}
@@ -87,6 +88,7 @@
\newcommand{\FROM}[1]{\FROMNAME~#1}
\newcommand{\WITH}[1]{\WITHNAME~#1}
\newcommand{\USING}[1]{\USINGNAME~#1}
+\newcommand{\UNFOLDING}[1]{\UNFOLDINGNAME~#1}
\newcommand{\FIXES}[1]{\FIXESNAME~#1}
\newcommand{\CONSTRAINS}[1]{\CONSTRAINSNAME~#1}
\newcommand{\ASSUMES}[2]{\ASSUMESNAME\I@optname{#1}~#2}