Re: [isabelle] Recursive datatypes



Dear Manuel,

Thank you very much for your quick and the detailed answer in Stack
Overflow,
the theoretical explanation there clarified the issue with the grammar, and
I am
experimenting the suggestions provided there. I'll soon comment on your
answer
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
either
here or there instead of both places.

Cheers,
Diego Dias



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