Re: [isabelle] Recursive datatypes

Dear Diego,

I already gave you a very detailed answer to your question on
StackOverflow yesterday:

If you find that answer unsatisfactory, may I suggest you explain why
instead of asking the exact same question again here?


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