finished with plitting axiom stuff (except that now the module definition needs to be updated)
\documentclass[11pt,leqno]{amsart}
%\usepackage{amsthm}
\newcommand{\pathtotrunk}{../../}
\input{\pathtotrunk text/article_preamble}
\input{\pathtotrunk text/top_matter}
\input{\pathtotrunk text/kw_macros}
\begin{document}
\input{A-infty}
\input{gluing}
\end{document}