1.1 --- a/doc-src/iman.sty	Tue May 03 10:52:32 1994 +0200
     1.2 +++ b/doc-src/iman.sty	Tue May 03 11:17:08 1994 +0200
     1.3 @@ -17,11 +17,29 @@
     1.4  \newcommand\fnote[1]{#1n}
     1.5  \newcommand\indexbold[1]{\index{#1|bold}}
     1.6  
     1.7 +%for indexing constants, symbols, theorems, ...
     1.8 +\newcommand\cdx[1]{{\tt#1}\index{#1@{\tt#1} constant}}
     1.9 +\newcommand\sdx[1]{{\tt#1}\index{#1@{\tt#1} symbol}}
    1.10 +
    1.11 +\newcommand\tdx[1]{{\tt#1}\index{#1@{\tt#1} theorem}}
    1.12 +\newcommand\tdxbold[1]{{\tt#1}\index{#1@{\tt#1} theorem|bold}}
    1.13 +
    1.14 +\newcommand\mltydx[1]{{\tt#1}\index{#1@{\tt#1} ML type}}
    1.15 +\newcommand\xdx[1]{{\tt#1}\index{#1@{\tt#1} exception}}
    1.16 +
    1.17 +\newcommand\ndx[1]{{\tt#1}\index{#1@{\tt#1} nonterminal}}
    1.18 +\newcommand\ndxbold[1]{{\tt#1}\index{#1@{\tt#1} nonterminal|bold}}
    1.19 +
    1.20 +\newcommand\cldx[1]{{\tt#1}\index{#1@{\tt#1} class}}
    1.21 +\newcommand\tydx[1]{{\tt#1}\index{#1@{\tt#1} type}}
    1.22 +\newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}}
    1.23 +
    1.24  %for cross-references: 2nd argument (page number) is ignored
    1.25  \newcommand\see[2]{{\it see \/}{#1}}
    1.26  \newcommand\seealso[2]{{\it see also \/}{#1}}
    1.27  
    1.28  %set argument in \tt font; at the sime time, index using * prefix
    1.29 +\newcommand\rmindex[1]{{#1}\index{#1}\@}
    1.30  \newcommand\ttindex[1]{{\tt#1}\index{*#1}\@}
    1.31  \newcommand\ttindexbold[1]{{\tt#1}\index{*#1|bold}\@}
    1.32  
    1.33 @@ -85,6 +103,7 @@
    1.34  
    1.35  \def\ML{{\sc ml}}
    1.36  \def\OBJ{{\sc obj}}
    1.37 +\def\AST{{\sc ast}}
    1.38  
    1.39  \def\LCF{{\tt LCF}\@}
    1.40  \def\FOL{{\tt FOL}\@}
    1.41 @@ -104,6 +123,14 @@
    1.42  \def\sloppy{\tolerance2000 \hfuzz.5pt \vfuzz.5pt \emergencystretch=15pt}
    1.43  \def\fussy{\tolerance200 \hfuzz.1pt \vfuzz.1pt \emergencystretch=0pt}
    1.44  
    1.45 +%%%% \tt things
    1.46 +
    1.47 +\def\ttdescriptionlabel#1{\hspace\labelsep \tt #1}
    1.48 +\def\ttdescription{\list{}{\labelwidth\z@ \itemindent-\leftmargin
    1.49 +       \let\makelabel\ttdescriptionlabel}}
    1.50 +
    1.51 +\let\endttdescription\endlist
    1.52 +
    1.53  \chardef\ttilde=`\~     % A tilde for \tt font
    1.54  \chardef\ttback=`\\     % A backslash for \tt font
    1.55  \chardef\ttlbrace=`\{   % A left brace for \tt font