The folio is cleaned up for the current styles and format, ready for
revival and incorporation of the essentials.
0.00 2006-06-06-13:02 Create initial placeholder
for project (orcmid)
It is time to nail down what Peano Arithmetic is for our study of
the connections among abstractions, formal axiomatic systems, and systems of
computation.
