Changes for version 0.001 - 2011-11-30

  • Initial release

Modules

set-theoretic definition of natural numbers