simplified two index entries, since now ZF is by itself

--- 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