added \CASE, \OBTAIN, \SORRY, \OOPS;
authorwenzelm
Wed Mar 08 23:37:25 2000 +0100 (2000-03-08)
changeset 8377def06c441893
parent 8376 f5628700ab9a
child 8378 73256363a942
added \CASE, \OBTAIN, \SORRY, \OOPS;
removed \SUFF;
doc-src/isar.sty
     1.1 --- a/doc-src/isar.sty	Wed Mar 08 18:08:08 2000 +0100
     1.2 +++ b/doc-src/isar.sty	Wed Mar 08 23:37:25 2000 +0100
     1.3 @@ -33,6 +33,7 @@
     1.4  \newcommand{\FIXNAME}{\isarkeyword{fix}}
     1.5  \newcommand{\ASSUMENAME}{\isarkeyword{assume}}
     1.6  \newcommand{\PRESUMENAME}{\isarkeyword{presume}}
     1.7 +\newcommand{\CASENAME}{\isarkeyword{case}}
     1.8  \newcommand{\HAVENAME}{\isarkeyword{have}}
     1.9  \newcommand{\SHOWNAME}{\isarkeyword{show}}
    1.10  \newcommand{\HENCENAME}{\isarkeyword{hence}}
    1.11 @@ -44,7 +45,7 @@
    1.12  \newcommand{\CONCLNAME}{\isarkeyword{concl}}
    1.13  \newcommand{\LETNAME}{\isarkeyword{let}}
    1.14  \newcommand{\DEFNAME}{\isarkeyword{def}}
    1.15 -\newcommand{\SUFFNAME}{\isarkeyword{suffient}}
    1.16 +\newcommand{\OBTAINNAME}{\isarkeyword{obtain}}
    1.17  \newcommand{\CMTNAME}{\isarkeyword{-{}-}}
    1.18  
    1.19  \newcommand{\THEORY}{\isarkeyword{theory}}
    1.20 @@ -62,6 +63,7 @@
    1.21  \newcommand{\FIX}[1]{\FIXNAME~#1}
    1.22  \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2}
    1.23  \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2}
    1.24 +\newcommand{\CASE}[1]{\CASENAME~#1}
    1.25  \newcommand{\THEN}{\isarkeyword{then}}
    1.26  \newcommand{\HAVE}[2]{\isarkeyword{have}\I@optname{#1}~#2}
    1.27  \newcommand{\SHOW}[2]{\isarkeyword{show}\I@optname{#1}~#2}
    1.28 @@ -80,10 +82,12 @@
    1.29  \newcommand{\ISS}[2]{(\ISNAME~#1~\ISNAME~#2)}
    1.30  \newcommand{\LET}[1]{\LETNAME~#1}
    1.31  \newcommand{\DEF}[2]{\DEFNAME\I@optname{#1}~#2}
    1.32 -\newcommand{\SUFF}[1]{\SUFFNAME~#1}
    1.33  \newcommand{\ATT}[1]{\ap [#1]}
    1.34  \newcommand{\CMT}[1]{\CMTNAME~\text{#1}}
    1.35  \newcommand{\ALSO}{\isarkeyword{also}}
    1.36  \newcommand{\FINALLY}{\isarkeyword{finally}}
    1.37 +\newcommand{\OBTAIN}[3]{\OBTAINNAME~#1\isarkeyword{where}~\I@optname{#2}~#3}
    1.38  \newcommand{\BG}{\isarkeyword{\{\{}}
    1.39  \newcommand{\EN}{\isarkeyword{\}\}}}
    1.40 +\newcommand{\SORRY}{\isarkeyword{sorry}}
    1.41 +\newcommand{\OOPS}{\isarkeyword{oops}}