[isabelle-dev] unhelpful low-level error message from primrec

Tjark Weber webertj at in.tum.de
Sun May 22 00:20:49 CEST 2011


On Sat, 2011-05-21 at 15:12 -0700, Brian Huffman wrote:
> I just noticed this error message from primrec [...]

What is the status of primrec anyway, in the light of fun(ction)?

Kind regards,
Tjark





More information about the isabelle-dev mailing list