Re: [isabelle] Recursive datatypes



Dear Diego,

I already gave you a very detailed answer to your question on
StackOverflow yesterday:
http://stackoverflow.com/questions/30921002

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

Cheers,
Manuel



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