---

Peano Arithmetic File List

Here is a list of all files with brief descriptions:

natnum.dox
peano.c	The implementation for Peano Arithmetic
peano.h [code]	An interface (header file) for Peano Arithmetic
peanotest.c	Test driver for Peano arithmetic. It uses the CUnit framework

---