New utility function to add contents of a "theorem set" to a compset.