deletions | additions       diff --git a/header.tex b/header.tex  index dc55ec9..28e84ea 100644  --- a/header.tex  +++ b/header.tex 
...
% macros  \newcommand{\tinyvm}{{\sc Anony}}  \newcommand{\feval}{{\tt feval}}  \newcommand{\fbase}{\textsf{f}}  \newcommand{\fvariant}{\textsf{f'}}  \newcommand{\fosrfrom}{\textsf{f$_{\textsf{OSRfrom}}$}}  \newcommand{\fosrto}{\textsf{f$_{\textsf{OSRto}}$}}  % theorems  \newtheorem{theorem}{Theorem} 
...