Go up to
Top
Go forward to
Overview
Inductive Definitions
Induction Proofs
Application: Verifications
Induction on Sets
Author:
Wolfgang Schreiner
Last Modification: November 24, 1999