Email Gateway (Aug 18 2022 at 18:55): Email Gateway (Aug 18 2022 at 18:55):From: Ramana Kumar <rk436@cam.ac.uk>
Something like this question was discussed recently:
https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2011-November/msg00040.html
Email Gateway (Aug 18 2022 at 18:55):From: Lawrence Paulson <lp15@cam.ac.uk>
You will not go far wrong if you regard primrec as nothing more than an artefact of the bootstrapping process. Only rarely is it preferable to fun.
You can search the archives at the following URL:
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html
Larry Paulson
Last updated: Feb 01 2025 at 20:19 UTC