# HG changeset patch
# User paulson
# Date 968141540 -7200
# Node ID 56b632fd1dcdcf6622b5945f6943963068bfe351
# Parent  543d23cd1259135add27245343cc33337f1c2888
simplified two index entries, since now ZF is by itself

diff -r 543d23cd1259 -r 56b632fd1dcd doc-src/ZF/ZF.tex
--- 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