Re: [isabelle] primrec or fun




On 11/05/2016 13:37, Rustom Mody wrote:
Ok if you say so :-)
However http://isabelle.in.tum.de/doc/tutorial.pdf 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.

Tobias

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



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