doc-src/springer.tex
Mon, 08 May 2000 11:13:28 +0200 wenzelm improved indexing;
Tue, 03 May 1994 18:36:18 +0200 lcp post-CRC corrections
less more (0) -2 tip