Name Last modified Size Description Parent Directory - Statistics-GaussHelm..> 2002-04-18 03:25 13K GZIP compressed docume> Statistics-GaussHelm..> 2002-03-01 12:07 2.3K CHECKSUMS 2021-11-21 16:31 1.1K