# - Claim
# - Proof
-Format 6
+Format 7
Style Theorem*
+ Category Theorem
LatexType Environment
Margin First_Dynamic
LatexName thm*
\theoremstyle{plain}
\newtheorem*{thm*}{Theorem}
EndPreamble
+ Requires amsthm
End
\theoremstyle{plain}
\newtheorem*{cor*}{Corollary}
EndPreamble
+ Requires amsthm
End
\theoremstyle{plain}
\newtheorem*{lem*}{Lemma}
EndPreamble
+ Requires amsthm
End
\theoremstyle{plain}
\newtheorem*{prop*}{Proposition}
EndPreamble
+ Requires amsthm
End
\theoremstyle{plain}
\newtheorem*{conjecture*}{Conjecture}
EndPreamble
+ Requires amsthm
End
\theoremstyle{plain}
\newtheorem*{fact*}{Fact}
EndPreamble
+ Requires amsthm
End
\theoremstyle{definition}
\newtheorem*{defn*}{Definition}
EndPreamble
+ Requires amsthm
End
\theoremstyle{definition}
\newtheorem*{example*}{Example}
EndPreamble
+ Requires amsthm
End
\theoremstyle{definition}
\newtheorem*{problem*}{Problem}
EndPreamble
+ Requires amsthm
End
\theoremstyle{definition}
\newtheorem*{xca*}{Exercise}
EndPreamble
+ Requires amsthm
End
\theoremstyle{remark}
\newtheorem*{rem*}{Remark}
EndPreamble
+ Requires amsthm
End
\theoremstyle{remark}
\newtheorem*{claim*}{Claim}
EndPreamble
+ Requires amsthm
End