V10/vol2/sed
File
Size
Date
junk
147
1993-06-19
mkfile
356
1993-06-19
sed.ind
1699
1993-06-19
sed.ms
29698
1993-06-19
sed.ms.pg
2
1993-06-19
sed.ms.sp
163
1993-06-19
sed.sed
35
1993-06-19
sed.sed2
15
1993-06-19
sed.terms
920
1993-06-19