induction with computation
Next
: the usual elim rule for equality
Prev
: examples of case analysis
index
of these slides
Conor's home page
Last modified: Tue Feb 1 14:33:02 GMT 2000