Thierry Coquand's pattern matching

• Next: examples of case analysis
• Prev: one witness type is enough
• index of these slides
• Conor's home page