Go backward to
Example (Continued)
Go up to
Top
Summary
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