\documentclass{omdoc}
\usepackage{stex}
\usepackage{hyperref,amssymb}
\defpath{backmods}{../background}
\begin{document}
\input{functions}
\input{reals}
\end{document}
%%% Local Variables: 
%%% mode: LaTeX
%%% TeX-master: t
%%% End: 
