doc-src/ZF/logics-ZF.tex
changeset 8979 802acc97fdaf
parent 8828 5be2d1745c61
child 9695 ec7d7f877712
equal deleted inserted replaced
8978:894d76cbf56d 8979:802acc97fdaf
    16         With Contributions by Tobias Nipkow and Markus Wenzel%
    16         With Contributions by Tobias Nipkow and Markus Wenzel%
    17 \thanks{Markus Wenzel made numerous improvements.
    17 \thanks{Markus Wenzel made numerous improvements.
    18     Philippe de Groote contributed to~\ZF{}.  Philippe No\"el and
    18     Philippe de Groote contributed to~\ZF{}.  Philippe No\"el and
    19     Martin Coen made many contributions to~\ZF{}.  The research has 
    19     Martin Coen made many contributions to~\ZF{}.  The research has 
    20     been funded by the EPSRC (grants GR/G53279, GR/H40570, GR/K57381,
    20     been funded by the EPSRC (grants GR/G53279, GR/H40570, GR/K57381,
    21     GR/K77051) and by ESPRIT project 6453: Types.}
    21     GR/K77051, GR/M75440) and by ESPRIT (projects 3245:
       
    22     Logical Frameworks, and 6453: Types) and by the DFG Schwerpunktprogramm
       
    23     \emph{Deduktion}.}
    22 }
    24 }
    23 
    25 
    24 \newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip
    26 \newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip
    25   \hrule\bigskip}
    27   \hrule\bigskip}
    26 \newenvironment{constants}{\begin{center}\small\begin{tabular}{rrrr}}{\end{tabular}\end{center}}
    28 \newenvironment{constants}{\begin{center}\small\begin{tabular}{rrrr}}{\end{tabular}\end{center}}