open hol (513 results)