Re: [isabelle] Composing BNFs



Hi,

> Attached is a small patch that exports the internal representation of unfold_set. For some reason, I canât push to Isabelle right now (@Lars: is there some known maintenance in Munich, or shall I contact the MTAs? Also feel free to push this.)

I myself also can't log in to our usual nodes. I'll contact our admins.

Cheers
Lars




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