| 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-03-27 |
| HOL.TXT | Text File | 511 | 17.8 KB | 1997-05-10 |
| HOLCHANG.TXT | Text File | 54 | 1.9 KB | 1997-05-10 |