\section{Peano Arithmetic Compound List}
Here are the classes, structs, unions and interfaces with brief descriptions:\begin{CompactList}
\item\contentsline{section}{{\bf Natnum} (A structure for representing Natural Numbers from the Peano Arithmetic)}{\pageref{structNatnum}}{}
\end{CompactList}
