| Name | # Files | Name | # Files | Name | # Files | ||
|---|---|---|---|---|---|---|---|
| !alumrof | 6 | !formula | 9 | !formula08 | 19 | ||
| !star4mula | 5 | !start_tla | 3 | !walumrof | 4 | ||
| !wformula | 3 | !wformulam | 3 | !wimp4mula | 11 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| readme | Text File | 8 | 271b | 1986-12-21 |
| start_tla | Text File | 6 | 239b | 1992-12-16 |
| test | Text File | 7 | 94b | 1992-12-15 |
| test-m | Text File | 8 | 129b | 1992-12-15 |
| wformula | Text File | 8 | 346b | 1986-12-18 |
| wformula-m | Text File | 8 | 355b | 1992-12-16 |