Re: [isabelle] primrec or fun

On 11/05/2016 13:37, Rustom Mody wrote:
Ok if you say so :-)
However is from 2016 and still
heavily uses primrec?

This tutorial was written in 2000, before fun. It doesn't reflect Isabelle 2016 at all anymore, it was merely kept alive because it contains interesting examples. It will not be distributed as part of the Isabelle documentation in the future.


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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