CopyStyle TheoremTemplate
LatexName proof
LabelString "Proof:"
+ EndLabelType Filled_Box
End
# Theorem-numbered style declaration
##
## stdstruct
##
+Input stdtitle.inc
Input stdstruct.inc
Style Abstract
##
## Others
##
+Input stdfloats.inc
+Input stdcounters.inc
Input lyxmacros.inc
Input obsolete.inc