Index of PUMPS-DATA-SET

16 Jun 1994      150 Index
16 Jun 1994      dir distribution
09 Jan 1992  1760741 DISTRIBUTION.Z
09 Jan 1992      178 README
