diff -r 808681776bf7 -r 2b0f9ff06018 doc-src/iman.sty
--- a/doc-src/iman.sty	Fri May 02 18:19:01 1997 +0200
+++ b/doc-src/iman.sty	Fri May 02 18:19:25 1997 +0200
@@ -38,7 +38,7 @@
 \newcommand\see[2]{{\it see \/}{#1}}
 \newcommand\seealso[2]{{\it see also \/}{#1}}
 
-%set argument in \tt font; at the sime time, index using * prefix
+%set argument in \tt font; at the same time, index using * prefix
 \newcommand\rmindex[1]{{#1}\index{#1}\@}
 \newcommand\ttindex[1]{{\tt#1}\index{*#1}\@}
 \newcommand\ttindexbold[1]{{\tt#1}\index{*#1|bold}\@}