% This is an exmaple main file to include files generated by mweave

\documentstyle[12pt,verbatim]{article}

\title{My beautiful proof}
\author{H.O.L. Prover}

\input{mwebmac}
\input{holmacs}
\input{tokmac}
\newtokmac{CONST}{\constfont}
\font\sfc=cmssc12 \def\constfont{\sfc}
% and other macros needs

\begin{document}
\maketitle

\input{lmem} 
% and other LaTeX files

\end{document}
