Update HOL-4.md