Holding
holds
HOL_Inductive
holistic
HOL_SelfImprovementQuineBootstrapProcess
home
Homo
homomorphism
Homomorphisms
homot
