Go backward to
Induction over Term Values
Go up to
Top
Go forward to
Specifications
Application: Verification
Author:
Wolfgang Schreiner
Last Modification: November 24, 1999