2008-01-10 04:58:20 +00:00
|
|
|
# Author : David L. Johnson <dlj0@lehigh.edu>
|
|
|
|
|
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
|
|
|
|
|
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
|
|
|
|
|
# This version has Theorems and other results numbered in one sequence, and all
|
|
|
|
|
# numbered environments (figures as well) containing the section number.
|
|
|
|
|
# (Themorem (1.1), Corollary (1.2) Theorem (1.3), etc.
|
|
|
|
|
# These are only the theorems styles environnements
|
|
|
|
|
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
|
2020-12-05 22:09:17 +00:00
|
|
|
# Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
|
2008-01-10 04:58:20 +00:00
|
|
|
|
2020-12-21 18:35:34 +00:00
|
|
|
Format 90
|
2008-01-10 04:58:20 +00:00
|
|
|
|
|
|
|
|
Style Proof
|
2013-01-30 11:36:49 +00:00
|
|
|
Category Reasoning
|
2008-01-10 04:58:20 +00:00
|
|
|
Margin First_Dynamic
|
|
|
|
|
LatexType Environment
|
|
|
|
|
LatexName proof
|
|
|
|
|
NextNoIndent 1
|
2013-09-03 15:43:33 +00:00
|
|
|
ResetArgs 1
|
2012-11-19 13:21:02 +00:00
|
|
|
Argument 1
|
|
|
|
|
LabelString "Alternative Proof String"
|
|
|
|
|
Tooltip "Alternative proof string"
|
|
|
|
|
EndArgument
|
2008-01-10 04:58:20 +00:00
|
|
|
LabelSep xx
|
|
|
|
|
ParIndent MMM
|
|
|
|
|
ParSkip 0.4
|
|
|
|
|
ItemSep 0.2
|
|
|
|
|
TopSep 0.7
|
|
|
|
|
BottomSep 0.7
|
|
|
|
|
ParSep 0.3
|
|
|
|
|
Align Block
|
|
|
|
|
AlignPossible Block, Left
|
|
|
|
|
LabelType Static
|
|
|
|
|
LabelString "Proof."
|
|
|
|
|
EndLabelType Box
|
|
|
|
|
Font
|
|
|
|
|
Shape Up
|
|
|
|
|
Size Normal
|
|
|
|
|
EndFont
|
|
|
|
|
LabelFont
|
|
|
|
|
Shape Italic
|
|
|
|
|
EndFont
|
2020-08-31 00:39:37 +00:00
|
|
|
DocBookTag para
|
|
|
|
|
DocBookAttr role='proof'
|
2008-01-10 04:58:20 +00:00
|
|
|
End
|
|
|
|
|
|
