download all originals (max 1 GB)| 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 | 271 b | 1986-12-20 |
| start_tla | Text File | 6 | 239 b | 1992-12-15 |
| test | Text File | 7 | 94 b | 1992-12-15 |
| test-m | Text File | 8 | 129 b | 1992-12-15 |
| wformula | Text File | 8 | 346 b | 1986-12-18 |
| wformula-m | Text File | 8 | 355 b | 1992-12-15 |