doc-src/isar.sty
changeset 13011 a474097a4c65
parent 12977 fcc9a30a7ef2
child 13042 d8a345d9e067
equal deleted inserted replaced
13010:3437d8d89803 13011:a474097a4c65
    88 \newcommand{\FIXES}[1]{\FIXESNAME~#1}
    88 \newcommand{\FIXES}[1]{\FIXESNAME~#1}
    89 \newcommand{\ASSUMES}[2]{\ASSUMESNAME\I@optname{#1}~#2}
    89 \newcommand{\ASSUMES}[2]{\ASSUMESNAME\I@optname{#1}~#2}
    90 \newcommand{\DEFINES}[2]{\DEFINESNAME\I@optname{#1}~#2}
    90 \newcommand{\DEFINES}[2]{\DEFINESNAME\I@optname{#1}~#2}
    91 \newcommand{\NOTES}[2]{\NOTESNAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}
    91 \newcommand{\NOTES}[2]{\NOTESNAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}
    92 \newcommand{\INCLUDES}[1]{\INCLUDESNAME~#1}
    92 \newcommand{\INCLUDES}[1]{\INCLUDESNAME~#1}
       
    93 \newcommand{\SHOWS}[2]{\isarkeyword{shows}\I@optname{#1}~#2}
    93 \newcommand{\FIX}[1]{\FIXNAME~#1}
    94 \newcommand{\FIX}[1]{\FIXNAME~#1}
    94 \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2}
    95 \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2}
    95 \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2}
    96 \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2}
    96 \newcommand{\CASE}[1]{\CASENAME~#1}
    97 \newcommand{\CASE}[1]{\CASENAME~#1}
    97 \newcommand{\THEN}{\isarkeyword{then}}
    98 \newcommand{\THEN}{\isarkeyword{then}}