--- a/doc-src/ZF/ZF.tex Tue Sep 05 10:11:02 2000 +0200
+++ b/doc-src/ZF/ZF.tex Tue Sep 05 10:12:20 2000 +0200
@@ -93,7 +93,7 @@
\begin{center}
\index{*"`"` symbol}
\index{*"-"`"` symbol}
-\index{*"` symbol}\index{function applications!in ZF}
+\index{*"` symbol}\index{function applications}
\index{*"- symbol}
\index{*": symbol}
\index{*"<"= symbol}
@@ -174,7 +174,7 @@
\begin{figure}
-\index{lambda abs@$\lambda$-abstractions!in ZF}
+\index{lambda abs@$\lambda$-abstractions}
\index{*"-"> symbol}
\index{*"* symbol}
\begin{center} \footnotesize\tt\frenchspacing