A Thread of HOL Development