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}}