examples of case analysis

• Next: induction with computation
• Prev: Thierry Coquand's pattern matching
• index of these slides
• Conor's home page