Theory.axioms

A call axioms () returns the axioms of the current theory segment together with their names. The names are those given to the axioms by the user when they were originally added to the theory segment (by a call to new_axiom).