1.1 --- a/doc-src/Logics/logics.tex	Mon Aug 28 13:50:24 2000 +0200
     1.2 +++ b/doc-src/Logics/logics.tex	Mon Aug 28 13:52:38 2000 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  %% $Id$
     1.5  \documentclass[12pt,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  %%%STILL NEEDS MODAL, LCF
    1.10  %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}  
    1.11 @@ -16,8 +16,8 @@
    1.12          With Contributions by Tobias Nipkow and Markus Wenzel%
    1.13   \thanks{Markus Wenzel made numerous improvements.  Sara Kalvala
    1.14      contributed Chap.\ts\ref{chap:sequents}.  Philippe de Groote
    1.15 -   wrote the first version of the logic~\LK{}.  Tobias Nipkow developed
    1.16 -   \LCF{} and~\Cube{}.  Martin Coen developed~\Modal{} with assistance
    1.17 +   wrote the first version of the logic~LK.  Tobias Nipkow developed
    1.18 +   LCF and~Cube.  Martin Coen developed~Modal with assistance
    1.19     from Rajeev Gor\'e.  The research has been funded by the EPSRC
    1.20     (grants GR/G53279, GR/H40570, GR/K57381, GR/K77051, GR/M75440) and by ESPRIT
    1.21     (projects 3245: Logical Frameworks, and 6453: Types), and by the DFG