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