V10/vol2/pico

File	Size	Date
mkfile	383	1993-06-19
pico.ind	1972	1993-06-19
pico.ms	19700	1993-06-19
pico.ms.pg	2	1993-06-19
pico.ms.sp	574	1993-06-19
pico.sed	98	1993-06-19
pico.sed2	17	1993-06-19
pico.terms	870	1993-06-19