1.1 --- a/doc-src/isar.sty Tue Jul 04 17:26:02 2006 +0200
1.2 +++ b/doc-src/isar.sty Tue Jul 04 18:39:57 2006 +0200
1.3 @@ -42,6 +42,7 @@
1.4 \newcommand{\FROMNAME}{\isarkeyword{from}}
1.5 \newcommand{\WITHNAME}{\isarkeyword{with}}
1.6 \newcommand{\USINGNAME}{\isarkeyword{using}}
1.7 +\newcommand{\UNFOLDINGNAME}{\isarkeyword{unfolding}}
1.8 \newcommand{\FIXESNAME}{\isarkeyword{fixes}}
1.9 \newcommand{\CONSTRAINSNAME}{\isarkeyword{constrains}}
1.10 \newcommand{\ASSUMESNAME}{\isarkeyword{assumes}}
1.11 @@ -87,6 +88,7 @@
1.12 \newcommand{\FROM}[1]{\FROMNAME~#1}
1.13 \newcommand{\WITH}[1]{\WITHNAME~#1}
1.14 \newcommand{\USING}[1]{\USINGNAME~#1}
1.15 +\newcommand{\UNFOLDING}[1]{\UNFOLDINGNAME~#1}
1.16 \newcommand{\FIXES}[1]{\FIXESNAME~#1}
1.17 \newcommand{\CONSTRAINS}[1]{\CONSTRAINSNAME~#1}
1.18 \newcommand{\ASSUMES}[2]{\ASSUMESNAME\I@optname{#1}~#2}