2000-02-08 15:13:01 +00:00
|
|
|
#% Do not delete the line below; configure depends on this
|
2010-08-05 20:07:56 +00:00
|
|
|
# \DeclareLaTeXClass[article,theorem.sty]{article (Hebrew)}
|
2000-02-08 15:13:01 +00:00
|
|
|
# Hebrew article textclass definition file.
|
|
|
|
# Author: Dekel Tsur <dekel@math.tau.ac.il>
|
2000-05-12 13:11:20 +00:00
|
|
|
# Few changes by Baruch Even <baruch.even@writeme.com>
|
2000-02-08 15:13:01 +00:00
|
|
|
|
2011-01-12 23:20:07 +00:00
|
|
|
Format 31
|
2000-02-08 15:13:01 +00:00
|
|
|
Input article
|
|
|
|
|
|
|
|
Preamble
|
2003-09-15 15:11:39 +00:00
|
|
|
\usepackage{theorem}
|
|
|
|
\theorembodyfont{\upshape}
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{theorem}{\R{משפט}}[section]
|
2003-09-15 15:11:39 +00:00
|
|
|
\AtBeginDocument{\make@lr\thetheorem}
|
2000-02-08 15:13:01 +00:00
|
|
|
EndPreamble
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
Style Theorem
|
2003-05-02 08:55:48 +00:00
|
|
|
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
|
2005-05-20 09:13:42 +00:00
|
|
|
LabelString "Theorem #."
|
2003-05-02 08:55:48 +00:00
|
|
|
Font
|
|
|
|
Shape Up
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
|
|
|
LabelFont
|
|
|
|
Shape Up
|
|
|
|
Series Bold
|
|
|
|
EndFont
|
2000-02-08 15:13:01 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
Style Lemma
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Theorem
|
|
|
|
LatexName lemma
|
2005-05-20 09:13:42 +00:00
|
|
|
LabelString "Lemma #."
|
2003-05-02 08:55:48 +00:00
|
|
|
Preamble
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{lemma}[theorem]{\R{למה}}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2000-05-12 13:11:20 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
Style Corollary
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Theorem
|
|
|
|
LatexName corollary
|
2005-05-20 09:13:42 +00:00
|
|
|
LabelString "Corollary #."
|
2003-05-02 08:55:48 +00:00
|
|
|
Preamble
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{corollary}[theorem]{\R{מסקנה}}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2000-05-12 13:11:20 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
Style Claim
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Theorem
|
|
|
|
LatexName claim
|
2005-05-20 09:13:42 +00:00
|
|
|
LabelString "Claim #."
|
2003-05-02 08:55:48 +00:00
|
|
|
Preamble
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{claim}[theorem]{\R{טענה}}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2000-05-12 13:11:20 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
Style Definition
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Theorem
|
|
|
|
LatexName definition
|
2005-05-20 09:13:42 +00:00
|
|
|
LabelString "Definition #."
|
2003-05-02 08:55:48 +00:00
|
|
|
Preamble
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{definition}[theorem]{\R{הגדרה}}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2000-05-12 13:11:20 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
Style Remarks
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Theorem
|
|
|
|
LatexName remark
|
2005-05-20 09:13:42 +00:00
|
|
|
LabelString "Remarks #."
|
2003-05-02 08:55:48 +00:00
|
|
|
Preamble
|
2007-02-24 19:42:28 +00:00
|
|
|
\newtheorem{remark}[theorem]{\R{הערה}}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2000-05-12 13:11:20 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-05-12 13:11:20 +00:00
|
|
|
Style Proof
|
2003-05-02 08:55:48 +00:00
|
|
|
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
|
2005-05-20 09:13:42 +00:00
|
|
|
LabelString "Proof:"
|
2003-05-02 08:55:48 +00:00
|
|
|
EndLabelType Filled_Box
|
|
|
|
Font
|
|
|
|
Shape Up
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
|
|
|
LabelFont
|
|
|
|
Shape Up
|
|
|
|
Series Bold
|
|
|
|
EndFont
|
|
|
|
Preamble
|
2003-09-15 15:11:39 +00:00
|
|
|
\newenvironment{proof}%
|
2007-02-24 19:42:28 +00:00
|
|
|
{\R{\textbf{הוכחה:}}}%
|
2003-09-15 15:11:39 +00:00
|
|
|
{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
|
2003-05-02 08:55:48 +00:00
|
|
|
EndPreamble
|
2000-02-08 15:13:01 +00:00
|
|
|
End
|
2010-07-11 13:45:21 +00:00
|
|
|
|
|
|
|
Input theorems-refprefix.inc
|