V10/vol2/ideal

FileSizeDate
mkfile 392 1993-06-19
user.ind 3099 1993-06-19
user.ms 67040 1993-06-19
user.ms.pg 3 1993-06-19
user.ms.sp 1333 1993-06-19
user.out 340959 1993-06-19
user.sed 136 1993-06-19
user.sed2 19 1993-06-19
user.terms 1624 1993-06-19