1.1 --- a/doc-src/ZF/ZF.tex	Tue Sep 05 10:11:02 2000 +0200
     1.2 +++ b/doc-src/ZF/ZF.tex	Tue Sep 05 10:12:20 2000 +0200
     1.3 @@ -93,7 +93,7 @@
     1.4  \begin{center}
     1.5  \index{*"`"` symbol}
     1.6  \index{*"-"`"` symbol}
     1.7 -\index{*"` symbol}\index{function applications!in ZF}
     1.8 +\index{*"` symbol}\index{function applications}
     1.9  \index{*"- symbol}
    1.10  \index{*": symbol}
    1.11  \index{*"<"= symbol}
    1.12 @@ -174,7 +174,7 @@
    1.13  
    1.14  
    1.15  \begin{figure} 
    1.16 -\index{lambda abs@$\lambda$-abstractions!in ZF}
    1.17 +\index{lambda abs@$\lambda$-abstractions}
    1.18  \index{*"-"> symbol}
    1.19  \index{*"* symbol}
    1.20  \begin{center} \footnotesize\tt\frenchspacing