[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

Thanks - Mark Janney

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