Functions
induct(DT)
induct
Build a basic induction principle for an algebraic datatype
Modules
nat
Defines an algebraic datatype for the Peano natural numbers and useful functions and properties.