HOL.TermAlpha

data TermAlpha

mk

dest

typeOf

isBool

axiomOfExtensionality

axiomOfChoice

axiomOfInfinity

standardAxioms

standardAxiomName