doc-src/isar.sty
changeset 12977 fcc9a30a7ef2
parent 12966 6373b4d09325
child 13011 a474097a4c65
     1.1 --- a/doc-src/isar.sty	Thu Feb 28 18:09:04 2002 +0100
     1.2 +++ b/doc-src/isar.sty	Thu Feb 28 18:11:11 2002 +0100
     1.3 @@ -33,6 +33,7 @@
     1.4  \newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~(#1)}}
     1.5  
     1.6  \newcommand{\AND}{\isarkeyword{and}}
     1.7 +\newcommand{\IN}{\isarkeyword{in}}
     1.8  \newcommand{\COROLLARYNAME}{\isarkeyword{corollary}}
     1.9  \newcommand{\LEMMANAME}{\isarkeyword{lemma}}
    1.10  \newcommand{\THEOREMNAME}{\isarkeyword{theorem}}
    1.11 @@ -40,6 +41,11 @@
    1.12  \newcommand{\FROMNAME}{\isarkeyword{from}}
    1.13  \newcommand{\WITHNAME}{\isarkeyword{with}}
    1.14  \newcommand{\USINGNAME}{\isarkeyword{using}}
    1.15 +\newcommand{\FIXESNAME}{\isarkeyword{fixes}}
    1.16 +\newcommand{\ASSUMESNAME}{\isarkeyword{assumes}}
    1.17 +\newcommand{\DEFINESNAME}{\isarkeyword{defines}}
    1.18 +\newcommand{\NOTESNAME}{\isarkeyword{notes}}
    1.19 +\newcommand{\INCLUDESNAME}{\isarkeyword{includes}}
    1.20  \newcommand{\FIXNAME}{\isarkeyword{fix}}
    1.21  \newcommand{\ASSUMENAME}{\isarkeyword{assume}}
    1.22  \newcommand{\PRESUMENAME}{\isarkeyword{presume}}
    1.23 @@ -70,12 +76,20 @@
    1.24  \newcommand{\AXCLASS}{\isarkeyword{axclass}}
    1.25  \newcommand{\INSTANCE}{\isarkeyword{instance}}
    1.26  \newcommand{\DECLARE}{\isarkeyword{declare}}
    1.27 +\newcommand{\LEMMAS}{\isarkeyword{lemmas}}
    1.28 +\newcommand{\THEOREMS}{\isarkeyword{theorems}}
    1.29 +\newcommand{\LOCALE}{\isarkeyword{locale}}
    1.30  \newcommand{\TEXT}{\isarkeyword{text}}
    1.31  \newcommand{\TXT}{\isarkeyword{txt}}
    1.32  \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}
    1.33  \newcommand{\FROM}[1]{\FROMNAME~#1}
    1.34  \newcommand{\WITH}[1]{\WITHNAME~#1}
    1.35  \newcommand{\USING}[1]{\USINGNAME~#1}
    1.36 +\newcommand{\FIXES}[1]{\FIXESNAME~#1}
    1.37 +\newcommand{\ASSUMES}[2]{\ASSUMESNAME\I@optname{#1}~#2}
    1.38 +\newcommand{\DEFINES}[2]{\DEFINESNAME\I@optname{#1}~#2}
    1.39 +\newcommand{\NOTES}[2]{\NOTESNAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}
    1.40 +\newcommand{\INCLUDES}[1]{\INCLUDESNAME~#1}
    1.41  \newcommand{\FIX}[1]{\FIXNAME~#1}
    1.42  \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2}
    1.43  \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2}