| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| INPUTRUL.M | Text File | 386 | 13.1 KB | 1991-09-19 |
| LOGCASES.M | Text File | 128 | 4.3 KB | 1991-09-19 |
| MAIN.M | Text File | 41 | 868 b | 1991-09-19 |
| MAINALGO.M | Text File | 1,535 | 56.4 KB | 1991-09-19 |
| TABLE.M | Text File | 502 | 13.4 KB | 1991-09-19 |
| TAYLORSE.M | Text File | 161 | 5.6 KB | 1991-09-19 |
| THEOREMS.M | Text File | 394 | 14.4 KB | 1991-09-19 |