../ cstex4-1.zoo 12-May-1992 07:00 643928 cstex4-2.zoo 12-May-1992 07:00 590379 cstex4-3.zoo 12-May-1992 07:00 675691 cstex4-4.zoo 12-May-1992 07:00 568534 cstex4-5.zoo 12-May-1992 07:00 462200 cstex4-6.zoo 12-May-1992 07:00 433084 cstex4-7.zoo 12-May-1992 07:00 681873 cstex4-8.zoo 12-May-1992 07:00 623304 cstex4.README 12-May-1992 07:00 734