1.1 --- a/doc-src/isar.sty	Wed Jun 01 10:52:17 2005 +0200
     1.2 +++ b/doc-src/isar.sty	Wed Jun 01 12:30:49 2005 +0200
     1.3 @@ -42,6 +42,7 @@
     1.4  \newcommand{\WITHNAME}{\isarkeyword{with}}
     1.5  \newcommand{\USINGNAME}{\isarkeyword{using}}
     1.6  \newcommand{\FIXESNAME}{\isarkeyword{fixes}}
     1.7 +\newcommand{\CONSTRAINSNAME}{\isarkeyword{constrains}}
     1.8  \newcommand{\ASSUMESNAME}{\isarkeyword{assumes}}
     1.9  \newcommand{\DEFINESNAME}{\isarkeyword{defines}}
    1.10  \newcommand{\NOTESNAME}{\isarkeyword{notes}}
    1.11 @@ -86,6 +87,7 @@
    1.12  \newcommand{\WITH}[1]{\WITHNAME~#1}
    1.13  \newcommand{\USING}[1]{\USINGNAME~#1}
    1.14  \newcommand{\FIXES}[1]{\FIXESNAME~#1}
    1.15 +\newcommand{\CONSTRAINS}[1]{\CONSTRAINSNAME~#1}
    1.16  \newcommand{\ASSUMES}[2]{\ASSUMESNAME\I@optname{#1}~#2}
    1.17  \newcommand{\DEFINES}[2]{\DEFINESNAME\I@optname{#1}~#2}
    1.18  \newcommand{\NOTES}[2]{\NOTESNAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}