You do not have permission to edit this page, for the following reason:
You can view and copy the source of this page.
Templates used on this page:
- Substructures of a pair (view source)
- Template:Def (view source)
- Example:Bad inductive function definition (view source)
- Example:Inductive definition of addition (view source)
- Example:Inductive definition of concatenation of strings (view source)
- Example:Inductive definition of string length (view source)
- Definition:Addition (view source)
- Definition:Concatenation (view source)
- Definition:Length (view source)
Return to Inductively defined function.