doc-src/springer.tex
2000-05-08 wenzelm 2000-05-08 improved indexing;
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
1994-03-21 lcp 1994-03-21 first draft of Springer book