[isabelle] FOLP/simp.ML



Hi all,

Does FOLP/simp.ML contain the implementation of the simplier used by 'apply
simp'? Or is that only the FOL version of the simplifer?

Thanks
Steve




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