Name Last modified Size Description
Parent Directory - INDEX 1991-05-25 02:32 563 RR-1404-dvips.tar.Z 1991-05-25 02:33 61K RR-1404.ps.Z 1991-05-25 02:33 118K RR-INRIA-1320.dvi.Z 1991-05-25 02:33 79K RR-INRIA-1320.ps.Z 1991-05-25 02:33 125K TE-INRIA-090.tar.Z 1991-05-25 02:36 859K