[isabelle] Axioms used in a proof



Hi all,

Is there a way to retrieve all axioms used in the proof of some lemma
in ML? I'm trying to find a way to find a 'closure' of the axioms
used, so if the selected lemma uses another lemma as a fact, I'd like
to look up the axioms used in the proof in that other lemma as well.

Thanks
John





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.