| File | Size | Date |
|---|---|---|
| fm | 10 | 1993-06-19 |
| fm.ind | 5712 | 1993-06-19 |
| fm.ms | 38168 | 1993-06-19 |
| fm.ms.pg | 2 | 1993-06-19 |
| fm.ms.sp | 1225 | 1993-06-19 |
| fm.out | 1621463 | 1993-06-19 |
| fm.ps | 82580 | 1993-06-19 |
| fm.sed | 180 | 1993-06-19 |
| fm.terms | 1887 | 1993-06-19 |
| last.sed | 1076 | 1993-06-19 |
| mkfile | 444 | 1993-06-19 |