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



I suspect you cannot (directly). You can find out indirectly for example
by (simp add: xyz) and Isabelle will say if xyz already has [simp] status.

Tobias

Andrei Popescu schrieb:
> Thank you in advance.  
> 
> Andrei Popescu 
> 
> 
> 
>       





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