# HG changeset patch
# User wenzelm
# Date 1152031197 -7200
# Node ID 669a1a6095440e8ab1b7049912a54298f6959c95
# Parent  e0a5783d708fd322a0bcecb5236d2097a3c68ba3
added 'unfolding';

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}