deletions | additions       diff --git a/header.tex b/header.tex  index ba058cc..3ba852a 100644  --- a/header.tex  +++ b/header.tex 
...
\newtheorem{definition}{Definition}  \newtheorem{lemma}{Lemma}  \newtheorem{theorem}{Theorem}  \newtheorem{fact}{Fact}  \newtheorem{proposition}{Proposition}  %%%%%% MACROS  \renewcommand{\L}{\mathcal L}