--- a/doc-src/isar.sty Thu Mar 30 14:28:54 2000 +0200
+++ b/doc-src/isar.sty Thu Mar 30 15:11:48 2000 +0200
@@ -86,6 +86,8 @@
\newcommand{\CMT}[1]{\CMTNAME~\text{#1}}
\newcommand{\ALSO}{\isarkeyword{also}}
\newcommand{\FINALLY}{\isarkeyword{finally}}
+\newcommand{\MOREOVER}{\isarkeyword{moreover}}
+\newcommand{\ULTIMATELY}{\isarkeyword{ultimately}}
\newcommand{\OBTAIN}[3]{\OBTAINNAME~#1~\isarkeyword{where}\I@optname{#2}~#3}
\newcommand{\BG}{\isarkeyword{\{\{}}
\newcommand{\EN}{\isarkeyword{\}\}}}