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.
Description: S/MIME Cryptographic Signature