doc-src/iman.sty

--- a/doc-src/iman.sty	Fri Jul 30 15:57:27 1999 +0200
+++ b/doc-src/iman.sty	Fri Jul 30 15:57:50 1999 +0200
@@ -112,6 +112,7 @@
 \newcommand\List[1]{\lbrakk#1\rbrakk}  %was \obj
 \newcommand\vpile[1]{\begin{array}{c}#1\end{array}}
 \newenvironment{matharray}[1]{\[\begin{array}{#1}}{\end{array}\]}
+\newcommand{\text}[1]{\mbox{#1}}
 
 \let\int=\cap
 \let\un=\cup