[isabelle] Quick question about rule+



Hi,

I'm wondering what apply rule+ does. I can't seem to find any mention of
rule+ in the reference manual. Could someone please give some pointers?

Thanks
Steve




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