% use [nosolutions] flag to hide solutions.
% use [solutions] flag to show solutions.
\documentclass[
	solutions,
	singlenumbering
]{../../../lib/tex/ormc_handout}
\usepackage{../../../lib/tex/macros}

\usepackage{units}

\uptitlel{Intermediate}
\uptitler{\smallurl{}}
\title{Proof Techniques}
\subtitle{Prepared by Mark on \today{}}

% Default \implies is ugly
\let\implies\Rightarrow
\let\rimplies\Leftarrow
\let\iff\Leftrightarrow
\let\notimplies\nRightarrow

\begin{document}

	\maketitle

	\input{parts/0 intro}
	\input{parts/1 contradiction}
	\input{parts/2 induction}

\end{document}