HOL.Rule

rator

ratorUnsafe

rand

randUnsafe

sym

trans

transUnsafe

proveHyp

alpha

alphaHyp

alphaSequent

defineConstList

defineTypeOpLegacy