--- a/doc-src/Logics/logics.tex Tue Aug 03 13:05:54 1999 +0200
+++ b/doc-src/Logics/logics.tex Tue Aug 03 13:06:16 1999 +0200
@@ -20,12 +20,13 @@
Computer Laboratory \\ University of Cambridge \\
\texttt{lcp@cl.cam.ac.uk}\\[3ex]
With Contributions by Tobias Nipkow and Markus Wenzel%
- \thanks{Markus Wenzel made numerous improvements. Philippe de Groote
- wrote the first version of the logic~\LK{}. Tobias Nipkow developed
- \LCF{} and~\Cube{}. Martin Coen developed~\Modal{} with assistance
- from Rajeev Gor\'e. The research has been funded by the EPSRC
- (grants GR/G53279, GR/H40570, GR/K57381, GR/K77051) and by ESPRIT
- project 6453: Types.} }
+ \thanks{Markus Wenzel made numerous improvements. Sara Kalvala
+ contributed Chap.\ts\ref{chap:sequents}. Philippe de Groote
+ wrote the first version of the logic~\LK{}. Tobias Nipkow developed
+ \LCF{} and~\Cube{}. Martin Coen developed~\Modal{} with assistance
+ from Rajeev Gor\'e. The research has been funded by the EPSRC
+ (grants GR/G53279, GR/H40570, GR/K57381, GR/K77051) and by ESPRIT
+ project 6453: Types.} }
\newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip
\hrule\bigskip}
@@ -47,10 +48,9 @@
\include{preface}
\include{syntax}
\include{LK}
+\include{Sequents}
%%\include{Modal}
\include{CTT}
-%%\include{Cube}
-%%\include{LCF}
\bibliographystyle{plain}
\bibliography{../manual}
\input{logics.ind}