[isabelle] How do I find out via "find_theorems", for an existing theorem, whether it is marked as simp/intro/elim?



Thank you in advance.  

Andrei Popescu 








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