Re: [isabelle] simp vs Simplifier.rewrite



On 03.07.2015 01:52, Thomas Sewell wrote:
> There's a few components to the simplifier, and its various incarnations
> enable different ones.

For an overview of the components, one can look at the latter sections
of chapter 9.3 in the isar-ref manual.




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