# Author: Dekel Tsur <dekel@math.tau.ac.il>
# Few changes by Baruch Even <baruch.even@writeme.com>
-Format 40
+Format 43
Input article
Preamble
Style Theorem
+ Category Theorem
Margin First_Dynamic
LatexType Environment
LatexName theorem
Style Proof
+ Category Theorem
Margin First_Dynamic
LatexType Environment
LatexName proof