Re: [isabelle] Recursive datatypes

Dear Manuel,

Thank you very much for your quick and the detailed answer in Stack
the theoretical explanation there clarified the issue with the grammar, and
I am
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.

Diego Dias

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.