| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| proving.m | Text File | 13 | 312b | 1996-02-19 |
| proving0.m | Text File | 1,435 | 50KB | 1996-02-19 |
| proving1.m | Text File | 443 | 16KB | 1996-02-19 |
| proving2.m | Text File | 1,323 | 51KB | 1996-02-19 |
| proving3.m | Text File | 1,055 | 41KB | 1996-02-19 |
| proving4.m | Text File | 601 | 20KB | 1996-02-19 |
| proving5.m | Text File | 720 | 23KB | 1996-02-19 |
| proving6.m | Text File | 961 | 25KB | 1996-02-19 |