# Define Case as an enumeration environment
# with its own counters
-Format 81
+Format 82
Counter casei
GuiName "Case (Level 1)"
\addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
EndBabelPreamble
RefPrefix OFF
+ DocBookTag para
+ DocBookAttr role='cases'
End