doc-src/Intro/intro.tex
1997-02-20 wenzelm 1997-02-20 made a bit more robust;
1996-07-22 paulson 1996-07-22 Updated BibTeX identifiers
1996-07-16 paulson 1996-07-16 Acknowledged Stefan Berghofer for finding errors
1995-07-25 lcp 1995-07-25 now uses proof209.sty
1995-01-24 lcp 1995-01-24 \bibliography now includes crossref.bib
1994-05-03 lcp 1994-05-03 post-CRC corrections
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-03-24 lcp 1994-03-24 revisions to first Springer draft
1993-12-03 lcp 1993-12-03 Changed Acknowledgements
1993-11-10 lcp 1993-11-10 Initial revision