Re: [isabelle] Composing BNFs


> 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.


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