diff -r e0a5783d708f -r 669a1a609544 doc-src/isar.sty
--- 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}