Re: [isabelle] Finding a rule



> Does the "intro" keyword find all  
> theorems matching the subgoal's conclusion

It does. The attributes are not relevant for the search mechanism at all.

Tobias





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