| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| INPUTRUL.M | Text File | 247 | 8.4 KB | 1992-07-29 |
| LOGCASES.M | Text File | 194 | 6.2 KB | 1992-07-29 |
| MAIN.M | Text File | 41 | 892 b | 1992-07-29 |
| MAINALGO.M | Text File | 1,264 | 47.7 KB | 1992-07-29 |
| TABLE.M | Text File | 502 | 13.4 KB | 1992-07-29 |
| TAYLORSE.M | Text File | 154 | 5.4 KB | 1992-07-29 |
| THEOREMS.M | Text File | 378 | 13.8 KB | 1992-07-29 |