deletions | additions       diff --git a/header.tex b/header.tex  index 08bd364..c7f4ee0 100644  --- a/header.tex  +++ b/header.tex 
...
\def\onlyHTML#1{\iflatexml #1\fi}  \def\onlyPDF#1{\iflatexml\else #1\fi}  %  \newtheorem{theorem}{Theorem} %  \newtheorem{proof}{Proof} %  \newtheorem{example}{Example} \date{May 29, 2015}