![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| A-242.dvi.Z | 1994-02-15 11:58 | 285K | |
| A-212.dvi.Z | 1994-12-21 16:32 | 250K | |
| A-258.dvi.Z | 1994-05-20 15:40 | 172K | |
| E-185.dvi.Z | 1994-08-31 11:27 | 168K | |
| A-250.dvi.Z | 1994-02-03 15:58 | 66K | |
| A-256.dvi.Z | 1994-07-08 11:00 | 63K | |
| A-282.dvi.Z | 1996-04-02 10:19 | 57K | |
| A-290.dvi.Z | 1996-04-30 14:15 | 36K | |
| A-291.dvi.Z | 1996-05-15 10:47 | 30K | |
| A-260.dvi.Z | 1994-07-19 09:10 | 21K | |
| A-259.dvi.Z | 1994-05-06 17:24 | 17K | |
| A-279.dvi.Z | 1995-11-28 14:16 | 13K | |