# Moved here by rgheck. Original author cloudy.
-Format 68
+Format 85
#This is just a hacked version of the AMS proof environment
Style Proof
\fi
EndPreamble
# No LangPreamble or BabelPreamble, since babel knows \proofname already.
+ DocBookTag para
+ DocBookAttr role='proof'
End