% Part: methods
% Chapter: induction 

\documentclass[../../../include/open-logic-section]{subfiles}

\begin{document}

\olchapter{mth}{ind}{Induction}

\olimport{introduction}

\olimport{induction-on-N}

\olimport{strong-induction}

\olimport{inductive-definitions}

\olimport{structural-induction}

\olimport{relations}

\OLEndChapterHook

\end{document}