Convenience constructor for axioms.
Convenience constructor for axioms.
A list of HOLFormulas.
A list of HOLFormulas.
An axiom of the appropriate type, depending on ant and suc.
Convenience constructor for axioms.
Convenience constructor for axioms.
A HOLSequent.
An axiom of the appropriate type, depending on sequent.
Convenience object for constructing Axioms.