[isabelle] Unwanted content in a session



All -

I have a theory , Zed, that imports While_Combinator.
When I generate a session that includes Zed.thy, the generated
document.pdf includes a section generated from While_Combinator.thy.

I don't want that section. Is there some way to keep it from being
generated?

Thanks - Mark Janney




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