[isabelle] Simplifier: List of actually used theorems



Hi,
I think I have seen this question on the mailinglist before, but couldn't find it.
Is there a way to have the simplifier output the subset of supplied facts that were actually used?

Regards,
Steffen



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