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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
