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