added modified hol.ml file