| Name | # Files | Name | # Files | |
|---|---|---|---|---|
| APP | 2 | HOL | 19 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| COPYING.TXT | Text File | 340 | 17.9 KB | 1996-04-07 |
| HOL.HLP | Text File | 302 | 5.8 KB | 1997-03-08 |
| HOL.OPL | Text File | 3,738 | 93.7 KB | 1997-01-19 |
| HOL.TXT | Text File | 506 | 17.6 KB | 1997-03-23 |
| HOLCHANG.TXT | Text File | 42 | 1.4 KB | 1997-03-23 |