Go backward to Example (Continued)Go up to Top |

- Inductive definitions on
**N**.- Single induction parameter.
- Multiple base cases.
- Multiple induction parameters.

- Induction proofs on
**N**.- Mathematical induction.
- Complete induction.
- Induction over term values.

- Induction on sets.
- Inductive set definitions.
- Inductive function/predicate definitions on term algebras.
- Induction proofs on inductively defined sets.

Author: Wolfgang Schreiner

Last Modification: November 24, 1999