#% Do not delete the line below; configure depends on this
#  \DeclareLaTeXClass[article,theorem.sty]{Hebrew Article}
#  \DeclareCategory{Articles}
# Hebrew article textclass definition file.
# Author: Dekel Tsur <dekel@math.tau.ac.il>
# Few changes by Baruch Even <baruch.even@writeme.com>

Format 99
Input article

Preamble
\usepackage{theorem}
\theorembodyfont{\upshape}
% LuaTeX/luabidi does not know \beginR
% FIXME LuaTeX/luabidi does not get the order right
\AtBeginDocument{
\@ifundefined{setRTL}{}{\providecommand\beginR{\setRTL}}
}
\newtheorem{theorem}{{\beginR משפט}}[section]
% Only needed by babel, not polyglossia (which does
% not have \make@lr defined)
\@ifundefined{make@lr}{}{%
   \AtBeginDocument{\make@lr\thetheorem}
}
EndPreamble


Style Theorem
	Category              Reasoning
	Margin                First_Dynamic
	LatexType             Environment
	LatexName             theorem
	NextNoIndent          1
	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           "Theorem #."
	Font
	  Shape               Up
	  Size                Normal
	EndFont
	LabelFont
	  Shape               Up
	  Series              Bold
	EndFont
End


Style Lemma
	CopyStyle             Theorem
	LatexName             lemma
	LabelString           "Lemma #."
	Preamble
		\newtheorem{lemma}[theorem]{{\beginR למה}}
	EndPreamble
End


Style Corollary
	CopyStyle             Theorem
	LatexName             corollary
	LabelString           "Corollary #."
	Preamble
		\newtheorem{corollary}[theorem]{{\beginR מסקנה}}
	EndPreamble
End


Style Claim
	CopyStyle             Theorem
	LatexName             claim
	LabelString           "Claim #."
	Preamble
		\newtheorem{claim}[theorem]{{\beginR טענה}}
	EndPreamble
End


Style Definition
	CopyStyle             Theorem
	LatexName             definition
	LabelString           "Definition #."
	Preamble
		\newtheorem{definition}[theorem]{{\beginR הגדרה}}
	EndPreamble
End


Style Remarks
	CopyStyle             Theorem
	LatexName             remark
	LabelString           "Remarks #."
	Preamble
            \newtheorem{remark}[theorem]{{\beginR הערה}}
	EndPreamble
End


Style Proof
	Category              Reasoning
	Margin                First_Dynamic
	LatexType             Environment
	LatexName             proof
	NextNoIndent          1
	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          Filled_Box
	Font
	  Shape               Up
	  Size                Normal
	EndFont
	LabelFont
	  Shape               Up
	  Series              Bold
	EndFont
	Preamble
		\newenvironment{proof}%
			{{\beginR \textbf{הוכחה:}}}%
			{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
	EndPreamble
End

Input theorems-refprefix.inc