forallxyyc.tex

\documentclass[oneside,10pt]{memoir}

\usepackage{forallxyyc}

\begin{document}
\midsloppy


\pagestyle{forallxpage}

\frontmatter
\include{forallx-yyc-frontmatter}

\newpage
\tableofcontents*

\mainmatter

\include{forallx-yyc-what}
\include{forallx-yyc-tfl}
\include{forallx-yyc-truthtables}
\include{forallx-yyc-prooftfl}
\include{forallx-yyc-fol}
\include{forallx-yyc-interpretations}
\include{forallx-yyc-prooffol}
%include{forallx-yyc-metatheory}

\appendix
\part{Appendices}
%addcontentsline{toc}{part}{Appendices}
\addtocontents{toc}{\protect\mbox{}\protect\hrulefill\par}

%\setcounter{chapter}{0}
%\renewcommand*{\thechapter}{\Alph{chapter}} %TB: appendix sections have letters
%\renewcommand*{\thesection}{\Alph{chapter}.\arabic{section}} %TB: appendix sections have letters

\input{forallx-yyc-notation} % RZ for some reason, with an \include here the TOC gets messed up
\include{forallx-yyc-alternatives}
\include{forallx-yyc-quickreference}

%\backmatter
\glsaddall
\addtocontents{toc}{\protect\mbox{}\protect\hrulefill\par}
\printglossaries
\include{forallx-yyc-backmatter}

\end{document}