Re: [isabelle] Recursive datatypes
Thank you very much for your quick and the detailed answer in Stack
the theoretical explanation there clarified the issue with the grammar, and
experimenting the suggestions provided there. I'll soon comment on your
there, so the discussion stays in the same place.
This email was sent to the isabelle user's list before the question on Stack
Overflow to be answered. Sorry for the duplication. Next time I will post
here or there instead of both places.
This archive was generated by a fusion of
Pipermail (Mailman edition) and