![]() | Name | Last modified | Size |
---|---|---|---|
![]() | Parent Directory | - | |
![]() | About.map | 1993-05-20 00:00 | 1.1K |
![]() | About.rpt | 1993-05-20 00:00 | 2.2K |
![]() | Fig1.gif | 1994-08-25 00:00 | 14K |
![]() | Fig1.ps | 1994-08-25 00:00 | 546K |
![]() | Fig1.ps.gz | 1993-05-20 00:00 | 0 |
![]() | Paper.ps.gz | 1993-05-20 00:00 | 43K |
![]() | README.gz | 1993-05-20 00:00 | 186 |