changeset 12489 | c92e38c3cbaa |
parent 12327 | 5a4d78204492 |
child 12539 | 368414099877 |
--- a/doc-src/TutorialI/preface.tex Thu Dec 13 16:48:07 2001 +0100 +++ b/doc-src/TutorialI/preface.tex Thu Dec 13 16:48:34 2001 +0100 @@ -36,4 +36,3 @@ GR\slash K77051, GR\slash M75440, GR\slash R01156\slash 01 and by the \textsc{esprit} working groups 21900 and IST-1999-29001 (the \emph{Types} project). -