doc-src/ZF/logics-ZF.tex
changeset 9695 ec7d7f877712
parent 8979 802acc97fdaf
child 14154 3bc0128e2c74
--- a/doc-src/ZF/logics-ZF.tex	Mon Aug 28 13:50:24 2000 +0200
+++ b/doc-src/ZF/logics-ZF.tex	Mon Aug 28 13:52:38 2000 +0200
@@ -1,6 +1,6 @@
 %% $Id$
 \documentclass[11pt,a4paper]{report}
-\usepackage{graphicx,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
+\usepackage{graphicx,../iman,../extra,../ttbox,../proof,../rail,latexsym,../pdfsetup}
 
 %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}  
 %%% to index rulenames:   ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\),     \\tdx{\1}  
@@ -15,8 +15,8 @@
         \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
         With Contributions by Tobias Nipkow and Markus Wenzel%
 \thanks{Markus Wenzel made numerous improvements.
-    Philippe de Groote contributed to~\ZF{}.  Philippe No\"el and
-    Martin Coen made many contributions to~\ZF{}.  The research has 
+    Philippe de Groote contributed to~ZF.  Philippe No\"el and
+    Martin Coen made many contributions to~ZF.  The research has 
     been funded by the EPSRC (grants GR/G53279, GR/H40570, GR/K57381,
     GR/K77051, GR/M75440) and by ESPRIT (projects 3245:
     Logical Frameworks, and 6453: Types) and by the DFG Schwerpunktprogramm