HOL.Sequent

data Sequent

mk

mkUnsafe

dest

nullHyp

mkNullHyp

mkNullHypUnsafe

axiomOfExtensionality

axiomOfChoice

axiomOfInfinity

standardAxioms