Re: [isabelle] FOLP/simp.ML

Steve W schrieb:
> 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?

As it says in the header of that file: FOLP version of the simplifier.


> Thanks
> Steve

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