# HG changeset patch
# User lcp
# Date 764521962 -3600
# Node ID f5ccfc4d362f0803d68cb64a5e06780f0f697acb
# Parent  3fb8c0256bec03ae3e907a45f74acdb414824421
added \iflabelundefined

diff -r 3fb8c0256bec -r f5ccfc4d362f doc-src/iman.sty
--- a/doc-src/iman.sty	Thu Mar 24 15:23:02 1994 +0100
+++ b/doc-src/iman.sty	Thu Mar 24 16:12:42 1994 +0100
@@ -7,6 +7,10 @@
 
 \let\ts=\thinspace
 
+%usage: \iflabelundefined{LABEL}{if not defined}{if defined}
+\newcommand{\iflabelundefined}[1]{\@ifundefined{r@#1}}
+
+
 %%%INDEXING  use sedindex to process the index
 %index, putting page numbers of definitions in boldface
 \newcommand\bold[1]{{\bf#1}}