#% Do not delete the line below; configure depends on this
-# \DeclareLaTeXClass[article]{article (Hebrew)}
+# \DeclareLaTeXClass[article,theorem.sty]{article (Hebrew)}
# Hebrew article textclass definition file.
# Author: Dekel Tsur <dekel@math.tau.ac.il>
+# Few changes by Baruch Even <baruch.even@writeme.com>
+Format 28
Input article
Preamble
-\newtheorem{theorem}{\R{\mem\shin\pe\tet}}[section]
-\newtheorem{lemma}[theorem]{\R{\lamed\mem\he}}
-\newtheorem{claim}[theorem]{\R{\tet\ayin\nun\he}}
-\newtheorem{corollary}[theorem]{\R{\mem\samekh\qof\nun\he}}
-\newenvironment{proof}{\R{\em \he\vav\kaf\het\he:}}{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
+ \usepackage{theorem}
+ \theorembodyfont{\upshape}
+ \newtheorem{theorem}{\R{משפט}}[section]
+ \AtBeginDocument{\make@lr\thetheorem}
EndPreamble
-# Proof style declaration
-Style Proof
- 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 ":äçëåä"
- EndLabelType Filled_Box
- # standard font definition
- Font
- Shape Up
- Size Normal
- EndFont
- # label font definition
- LabelFont
- Shape Italic
- EndFont
-End
Style Theorem
- 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 ".# èôùî"
- # standard font definition
- Font
- Shape Italic
- Size Normal
- EndFont
- # label font definition
- LabelFont
- Shape Up
- Series Bold
- EndFont
+ 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 Corollary
- CopyStyle Theorem
- LatexName corollary
- LabelString ".# äð÷ñî"
-End
Style Lemma
- CopyStyle Theorem
- LatexName lemma
- LabelString ".# äîì"
+ CopyStyle Theorem
+ LatexName lemma
+ LabelString "Lemma #."
+ Preamble
+ \newtheorem{lemma}[theorem]{\R{למה}}
+ EndPreamble
End
+
+Style Corollary
+ CopyStyle Theorem
+ LatexName corollary
+ LabelString "Corollary #."
+ Preamble
+ \newtheorem{corollary}[theorem]{\R{מסקנה}}
+ EndPreamble
+End
+
+
Style Claim
- CopyStyle Theorem
- LatexName claim
- LabelString ".# äðòè"
+ CopyStyle Theorem
+ LatexName claim
+ LabelString "Claim #."
+ Preamble
+ \newtheorem{claim}[theorem]{\R{טענה}}
+ EndPreamble
End
-Style Comment
- LabelString ": äøòä"
+
+Style Definition
+ CopyStyle Theorem
+ LatexName definition
+ LabelString "Definition #."
+ Preamble
+ \newtheorem{definition}[theorem]{\R{הגדרה}}
+ EndPreamble
+End
+
+
+Style Remarks
+ CopyStyle Theorem
+ LatexName remark
+ LabelString "Remarks #."
+ Preamble
+ \newtheorem{remark}[theorem]{\R{הערה}}
+ EndPreamble
+End
+
+
+Style Proof
+ 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}%
+ {\R{\textbf{הוכחה:}}}%
+ {\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
+ EndPreamble
End
-Style Abstract
- LabelString "øéö÷ú"
-End
\ No newline at end of file
+Input theorems-refprefix.inc