diff -r b009afd1ace5 -r 1135f3f8782c doc-src/Logics/logics.tex
--- 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}