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.

Tobias

> Thanks
> Steve





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