# - Case (by inclusion)
-Format 98
+Format 104
Input theorems-counters-bytype.inc
DocBookWrapperAttr role='theorem'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End
DocBookWrapperAttr role='corollary'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End
DocBookWrapperAttr role='lemma'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End
DocBookWrapperAttr role='proposition'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End
DocBookWrapperAttr role='conjecture'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End
DocBookWrapperAttr role='fact'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End
DocBookWrapperAttr role='definition'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End
DocBookWrapperAttr role='problem'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End
DocBookWrapperAttr role='exercise'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End
DocBookWrapperAttr role='solution'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End
DocBookWrapperAttr role='remark'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End
DocBookWrapperAttr role='claim'
DocBookTag para
DocBookGenerateTitle true
+ DocBookWrapperMergeWithPrevious true
End