| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| clarify.doc | Text File | 75 | 3KB | 1990-02-21 |
| Makefile | Makefile | 147 | 4KB | 1990-02-21 |
| pure2_1.dif | Text File | 142 | 4KB | 1990-02-21 |
| RATIONALE | Text File | 359 | 19KB | 1990-02-21 |
| README | Text File | 65 | 2KB | 1990-02-21 |
| README.RER | Text File | 127 | 4KB | 1990-02-21 |
| submit.frm | Text File | 17 | 170b | 1990-02-21 |