Main Page
Modules
Compound List
File List
Compound Members
File Members
Peano Arithmetic Compound List
Here are the classes, structs, unions and interfaces with brief descriptions:
Natnum
A structure for representing Natural Numbers from the Peano Arithmetic
Generated on Wed Jun 11 08:35:43 2003 for Peano Arithmetic by
1.2.14 written by
Dimitri van Heesch
, © 1997-2002
1.2.14 written by Dimitri van Heesch,
© 1997-2002