RedIRIS > FTP 
Icon  Name                                      Last modified      Size  Description
[DIR] Parent Directory                                               -   
[   ] ams.ins                                   08-Jan-1996 01:00  1.3K  
[   ] time.sty                                  08-Jan-1996 01:00  1.1K  
[   ] ams.dtx                                   09-Jan-1996 01:00  6.5K  
[   ] duplicat.sty                              22-Mar-1996 01:00  1.0K  
[   ] onepagem.sty                              28-Mar-1996 01:00  1.0K  
[   ] newproof.sty                              29-Mar-1996 01:00  1.5K