../ cstex4-1.zoo 12-May-1992 00:00 629K cstex4-2.zoo 12-May-1992 00:00 577K cstex4-3.zoo 12-May-1992 00:00 660K cstex4-4.zoo 12-May-1992 00:00 555K cstex4-5.zoo 12-May-1992 00:00 451K cstex4-6.zoo 12-May-1992 00:00 423K cstex4-7.zoo 12-May-1992 00:00 666K cstex4-8.zoo 12-May-1992 00:00 609K cstex4.README 12-May-1992 00:00 734